2017-07-31 18:48:25 +02:00
|
|
|
<!--?xml version="1.0"?>-->
|
|
|
|
|
<!--DOCTYPE fontconfig SYSTEM "fonts.dtd">-->
|
|
|
|
|
<!-- ~/.fonts.conf for per-user font configuration -->
|
|
|
|
|
<fontconfig>
|
|
|
|
|
<match>
|
2017-09-10 16:52:20 +02:00
|
|
|
<test name="family"><string>Times</string></test>
|
2017-07-31 18:48:25 +02:00
|
|
|
<edit name="family" mode="prepend" binding="strong">
|
2017-09-10 16:52:20 +02:00
|
|
|
<string>FreeSerif</string>
|
|
|
|
|
<string>Times</string>
|
2017-07-31 18:48:25 +02:00
|
|
|
</edit>
|
|
|
|
|
</match>
|
|
|
|
|
</fontconfig>
|
