Pieter Vander Vennet 663b194247 Chore: housekeeping: lint		2023-12-19 22:08:00 +01:00
..
layers	Chore: housekeeping: lint	2023-12-19 22:08:00 +01:00
svg	Favourites: tweaking overview; fix upload of properties	2023-12-03 04:20:56 +01:00
themes	Chore: housekeeping: lint	2023-12-19 22:08:00 +01:00