Pieter Vander Vennet 165084d4d5 Finish of the cleanup of themes as json		2020-09-20 23:01:08 +02:00
..
logo.svg	Further cleanup	2020-09-19 13:37:04 +02:00
nature.json	Finish of the cleanup of themes as json	2020-09-20 23:01:08 +02:00
tree.svg	Fixed the build	2020-08-22 03:15:42 +02:00