Martin Zimmermann e02687a066 remove superscript extension from defaults (again)		2014-07-14 19:38:00 +02:00
..
isso.conf	remove superscript extension from defaults (again)	2014-07-14 19:38:00 +02:00