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

32 KiB

Raw History