Xinqi Bao's Git

Changing the default font to DejaVu Sans Mono, which is more appealing and
authorChristoph Lohmann <[email protected]>
Mon, 24 Sep 2012 12:01:59 +0000 (14:01 +0200)
committerChristoph Lohmann <[email protected]>
Mon, 24 Sep 2012 12:01:59 +0000 (14:01 +0200)
activating antialiasing.


No differences found