increase font size
authorClaude Heiland-Allen <claudiusmaximus@goto10.org>
Wed, 20 Apr 2011 15:44:56 +0000 (16:44 +0100)
committerClaude Heiland-Allen <claudiusmaximus@goto10.org>
Wed, 20 Apr 2011 15:44:56 +0000 (16:44 +0100)
commit0c91d0e98a8df0f1792b53f6904178640a28c027
tree5e3d410862b9a636d28da94506eb7fce205523c0
parente5b6deabea53a27be7d3cac109401cd9b60a4ea1
increase font size
src/gulcii.hs