Sept. 15, 2015
6:55 p.m.
Hi! After a dist upgrade to Debian Jessie some rather ugly fonts got installed, which make reading texts tedious. A possible workaround is attached: a blacklist for fonts (not yet committed). What do you think? Sebastian PS: strcasecmp may not be portable.