Pieter Vander Vennet d959b6b40b Merge develop		2023-12-03 04:44:59 +01:00
..
layers	Merge develop	2023-12-03 04:44:59 +01:00
svg	Favourites: tweaking overview; fix upload of properties	2023-12-03 04:20:56 +01:00
themes	Merge develop	2023-12-03 04:44:59 +01:00