dot/fonts.conf, dot/...: Abolish `MiscFixed6x13'; make `Fixed' work.

[profile] / dot / gitconfig.in

diff --git a/dot/gitconfig.in b/dot/gitconfig.in
index 47fa3920869aaed796ee3c3ed62d7b7eda91ea54..25f46cd6b1ab1fd2ff79eb3817f9b466180714e2 100644 (file)
--- a/dot/gitconfig.in
+++ b/dot/gitconfig.in
@@ -121,4 +121,4 @@
 
 [gui]
        fontui = -family Sans -size 10
-       fontdiff = -family MiscFixed6x13 -size 10
+       fontdiff = -family Fixed -size 13