Matthias Vogelgesang 818939e370 Fix #162: use correct theme name for Pandoc		2015-12-06 22:04:30 +01:00
..
metropolistheme.dtx	Fix #162: use correct theme name for Pandoc	2015-12-06 22:04:30 +01:00