6 commits

Author	SHA1	Message	Date
Pieter Vander Vennet	9e6460030b	Fixes to the personal theme	2020-09-15 02:29:31 +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
Pieter Vander Vennet	60c15e9c8d	Add cyclestreet theme, various bugfixes	2020-08-27 18:44:16 +02:00
Pieter Vander Vennet	82f3525907	Changesets are now kept open and reused to avoid tons of changesets to be created	2020-08-27 11:11:20 +02:00
Pieter Vander Vennet	71f4d4091e	Small fixes for the GRB theme and value substitution	2020-08-27 00:08:00 +02:00
Pieter Vander Vennet	4a0970a71f	Custom themes now stick to the user account and can be revisited, small improvements	2020-08-26 15:36:04 +02:00