Pieter Vander Vennet 423618847b Merge develop		2024-09-05 17:34:13 +02:00
..
layers	Merge develop	2024-09-05 17:34:13 +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	Search: refactoring searching for themes, refactor allThemesGui, incidentally fix #1679	2024-09-05 02:25:03 +02:00