Pieter Vander Vennet 259d4d7fdf Formatting		2023-12-06 04:08:33 +01:00
..
layers	Themes: don't show favourite icon if not logged in	2023-12-06 03:07:41 +01:00
svg	Favourites: tweaking overview; fix upload of properties	2023-12-03 04:20:56 +01:00
themes	Formatting	2023-12-06 04:08:33 +01:00