Changing the default font to DejaVu Sans Mono, which is more appealing and
authorChristoph Lohmann <20h@r-36.net>
Mon, 24 Sep 2012 12:01:59 +0000 (14:01 +0200)
committerChristoph Lohmann <20h@r-36.net>
Mon, 24 Sep 2012 12:01:59 +0000 (14:01 +0200)
commit246d704ba0c1d83b3eed2388483300687276b797
tree22fde1bcd542ede09555cc580b24597f44663711
parent055a4f6d2cc727cc58509a39e130bdd8dbfa452b
Changing the default font to DejaVu Sans Mono, which is more appealing and

activating antialiasing.
config.def.h