beremiz

Fix unmatched "Courier" font for monospace fonts on latest ubuntu 20.04. Selected "FreeMono" instead, present since at least 18.04

2020-04-04, Edouard Tisserant
4ba3bdc7d71f
Fix unmatched "Courier" font for monospace fonts on latest ubuntu 20.04. Selected "FreeMono" instead, present since at least 18.04
<xsd:attribute name="Compiler" type="xsd:string" use="optional" default="gcc"/>
<xsd:attribute name="CFLAGS" type="xsd:string" use="optional" default=""/>
<xsd:attribute name="Linker" type="xsd:string" use="optional" default="gcc"/>
<xsd:attribute name="LDFLAGS" type="xsd:string" use="optional" default=""/>