Martin Aeschlimann 80f8000c10 Fixes #2543: [themes] Two themse are marked as default. Why?		2016-02-01 11:02:06 +01:00
..
themes	colorful default themes: make sure the theme works with 0.10.3	2016-01-21 15:55:42 +01:00
package.json	Fixes #2543: [themes] Two themse are marked as default. Why?	2016-02-01 11:02:06 +01:00