Pieter Vander Vennet 165084d4d5 Finish of the cleanup of themes as json		2020-09-20 23:01:08 +02:00
..
logo.svg	Fixed the build, turns out the maps-svg was too complicated	2020-09-20 20:28:35 +02:00
maps.json	Finish of the cleanup of themes as json	2020-09-20 23:01:08 +02:00