Pieter Vander Vennet 5051d2db70 Merge branch 'develop'		2024-06-23 02:55:49 +02:00
..
layers	Merge branch 'develop'	2024-06-23 02:55:49 +02:00
png	Housekeeping: formatting	2024-02-20 13:33:38 +01:00
svg	More style tweaks to usersettings	2024-06-18 03:59:35 +02:00
themes	Re-enable button, add setting to choose how to add new features	2024-06-21 02:36:36 +02:00