Pieter Vander Vennet d9d330e912 Themes: add currently open badge		2023-12-04 03:32:25 +01:00
..
layers	Themes: add currently open badge	2023-12-04 03:32:25 +01:00
svg	Favourites: tweaking overview; fix upload of properties	2023-12-03 04:20:56 +01:00
themes	Chore: translation sync	2023-12-03 20:01:51 +01:00