Derk-Jan Hartman 8f109ea371 Repair label of themes in themelist. ... This was broken after c563f15e93		2014-01-02 13:04:24 +01:00
..
ace	Repair label of themes in themelist.	2014-01-02 13:04:24 +01:00