4 commits

Author	SHA1	Message	Date
Pieter Vander Vennet	a57b7d93fa	Huge refactorings of JSON-parsing and Tagsfilter, other cleanups, warning cleanups and lots of small subtle bugfixes	2020-08-30 01:13:18 +02:00
Pieter Vander Vennet	146552e62c	Some refactoring, more work on the custom theme generator	2020-08-17 17:23:15 +02:00
Pieter Vander Vennet	963949f86a	Small bugfixes on saving elements, fix #83	2020-08-06 21:06:50 +02:00
Pieter Vander Vennet	6187122294	Add MapComplete	2020-06-24 00:35:19 +02:00