5 commits

Author	SHA1	Message	Date
Pieter Vander Vennet	fa028df4d7	Housekeeping...	2023-02-12 23:08:57 +01:00
Pieter Vander Vennet	6da8fd2427	Update docs, fix #1297	2023-02-06 01:34:26 +01:00
Pieter Vander Vennet	3eea54d1d8	Housekeeping...	2022-12-28 00:48:47 +01:00
Pieter Vander Vennet	c0fab792c3	Housekeeping...	2022-12-20 20:42:32 +01:00
Pieter Vander Vennet	339bfab361	Merge develop	2022-12-16 13:42:37 +01:00