2016-11-07 09:04:34 +00:00
|
|
|
<?xml version="1.0"?>
|
|
|
|
|
<!DOCTYPE fontconfig SYSTEM "fonts.dtd">
|
|
|
|
|
<fontconfig>
|
|
|
|
|
<alias>
|
2018-09-21 04:51:07 +00:00
|
|
|
<family>monospace</family>
|
2016-11-07 09:04:34 +00:00
|
|
|
<prefer>
|
|
|
|
|
<family>Noto Mono</family>
|
|
|
|
|
</prefer>
|
|
|
|
|
</alias>
|
|
|
|
|
<alias>
|
|
|
|
|
<family>Noto Mono</family>
|
|
|
|
|
<default>
|
2018-09-21 04:51:07 +00:00
|
|
|
<family>monospace</family>
|
2016-11-07 09:04:34 +00:00
|
|
|
</default>
|
|
|
|
|
</alias>
|
|
|
|
|
</fontconfig>
|
