Pieter Vander Vennet 993a950458 Work on dotsmenu		2024-09-08 19:35:11 +02:00
..
layers	Work on dotsmenu	2024-09-08 19:35:11 +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