2020-11-17 06:16:01 +01:00
|
|
|
<?xml version="1.0"?>
|
|
|
|
<!DOCTYPE fontconfig SYSTEM "fonts.dtd">
|
|
|
|
<fontconfig>
|
|
|
|
<alias>
|
2021-01-06 06:06:23 +01:00
|
|
|
<family>JetBrainsMono Nerd Font</family>
|
2020-11-17 06:16:01 +01:00
|
|
|
<default>
|
|
|
|
<family>monospace</family>
|
|
|
|
</default>
|
|
|
|
</alias>
|
|
|
|
<alias>
|
|
|
|
<family>monospace</family>
|
|
|
|
<prefer>
|
2021-01-06 06:06:23 +01:00
|
|
|
<family>JetBrainsMono Nerd Font</family>
|
2020-11-17 06:16:01 +01:00
|
|
|
<family>TerminessTTF Nerd Font</family>
|
|
|
|
</prefer>
|
|
|
|
</alias>
|
|
|
|
</fontconfig>
|
|
|
|
|