changes default gui font to 10pt
authorRobert Timm <mail@rtti.de>
Fri, 17 Feb 2017 22:43:36 +0000 (23:43 +0100)
committerRobert Timm <mail@rtti.de>
Fri, 17 Feb 2017 22:43:36 +0000 (23:43 +0100)
commit248147537c0306ca0209956a079795772322d2e2
tree164ad6a8da31dbd1374a3df384a4a32e995db6f2
parentb4a2118a7b27a6502afee957dde089b84ca26427
changes default gui font to 10pt
src/config.def.h