diff options
author | Stijn Buys <ingar@osirion.org> | 2008-08-04 23:36:27 +0000 |
---|---|---|
committer | Stijn Buys <ingar@osirion.org> | 2008-08-04 23:36:27 +0000 |
commit | a3f1320ee150ff0176f836b0b47762b31b0cd4e4 (patch) | |
tree | 402dedb6c594fc71918df08dccfe1ef5b15ca854 /doc/world.html | |
parent | 5680cffdd4afdb99d39c644a6c397e670e958848 (diff) |
use small gui font everywhere
Diffstat (limited to 'doc/world.html')
0 files changed, 0 insertions, 0 deletions