Pieter Vander Vennet 38d9b88024 More style tweaks to usersettings		2024-06-18 03:59:35 +02:00
..
layers	More style tweaks to usersettings	2024-06-18 03:59:35 +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	Many UI improvements	2024-06-18 03:33:11 +02:00