holger krekel 66bd71a5d7 use gudea/gudea as header/body fonts		2013-12-17 08:56:59 +01:00
..
en	use gudea/gudea as header/body fonts	2013-12-17 08:56:59 +01:00
ja	add changelog entry for anthon's hynek-fication of options,	2013-08-01 17:32:19 +02:00