3 commits

Author	SHA1	Message	Date
Pieter Vander Vennet	2dd428497e	Various small fixes	2020-09-17 13:13:02 +02:00
Pieter Vander Vennet	2052976909	First steps for a decent custom theme generator	2020-08-31 02:59:47 +02:00
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