Christoph Lohmann 246d704ba0 Changing the default font to DejaVu Sans Mono, which is more appealing and ...

activating antialiasing.

2012-09-24 14:01:59 +02:00

2.4 KiB

Raw Blame History

View Raw