5 commits

Author	SHA1	Message	Date
Pieter Vander Vennet	cf202ce3af	Housekeeping	2023-01-10 19:34:07 +01:00
Pieter Vander Vennet	339bfab361	Merge develop	2022-12-16 13:42:37 +01:00
Pieter Vander Vennet	0bd28b996c	Merge upstream	2022-12-16 13:40:25 +01:00
Pieter Vander Vennet	e080f79f34	Generate docs with filter explanations	2022-12-06 03:41:27 +01:00
Pieter Vander Vennet	8cb02da127	Add documentation on themes, move some themes around	2022-11-30 21:38:50 +01:00