Pieter Vander Vennet 74d6eea9a9 Merge branch 'master' into develop		2024-07-20 19:17:34 +02:00
..
layers	Merge branch 'master' into develop	2024-07-20 19:17:34 +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	Optimize svg	2024-07-19 16:19:46 +02:00