6 commits

Author	SHA1	Message	Date
Pieter Vander Vennet	867cb4dcfb	chore: automated housekeeping...	2023-05-07 23:50:39 +02:00
Pieter Vander Vennet	fa028df4d7	Housekeeping...	2023-02-12 23:08:57 +01:00
Pieter Vander Vennet	387fff72cd	Housekeeping...	2023-01-29 17:45:48 +01:00
Pieter Vander Vennet	2964c97ac6	Regenerate documentation	2023-01-29 13:48:32 +01:00
Pieter Vander Vennet	339bfab361	Merge develop	2022-12-16 13:42:37 +01:00
Pieter Vander Vennet	8cb02da127	Add documentation on themes, move some themes around	2022-11-30 21:38:50 +01:00