Matthias Vogelgesang e84a7adeff Finish name change to metropolis ... Attention: this breaks the theme loading that is described all over the internet by now.		2015-11-21 11:42:28 +01:00
..
metropolistheme.dtx	Finish name change to metropolis	2015-11-21 11:42:28 +01:00
metropolistheme.pdf	Finish name change to metropolis	2015-11-21 11:42:28 +01:00