Pieter Vander Vennet bc52c05a9b Themes: some tweaks for the search feature		2024-09-11 17:32:25 +02:00
..
layers	Themes: some tweaks for the search feature	2024-09-11 17:32:25 +02:00
png	Housekeeping: formatting	2024-02-20 13:33:38 +01:00
svg	Merge develop	2024-09-05 17:34:13 +02:00
themes	Themes: allow to disable auto filters	2024-09-11 17:30:17 +02:00