Fabio Bas bdd55db549 Theme manager ... This is the first implementation of a theme manager. It’s a rebased and revisited version of #792.		2015-05-17 23:30:14 +02:00
..
version.txt	Theme manager	2015-05-17 23:30:14 +02:00