diff options
| author | iNPUTmice <daniel@gultsch.de> | 2014-09-08 23:58:37 +0200 |
|---|---|---|
| committer | iNPUTmice <daniel@gultsch.de> | 2014-09-08 23:58:37 +0200 |
| commit | d92e8381db906c20ceb7f91914d63d514a873c8a (patch) | |
| tree | 94367a08152e5704eeb4b6b51747919669b46a55 /build.xml | |
| parent | d9c4637b31c79095d7acff43fee03daa83859ea3 (diff) | |
setting to increase font size. fixed #420
Diffstat (limited to 'build.xml')
0 files changed, 0 insertions, 0 deletions