Pieter Vander Vennet 23788a638b Merge branch 'develop' into feature/favourites		2023-12-04 03:32:39 +01:00
..
layers	Merge branch 'develop' into feature/favourites	2023-12-04 03:32:39 +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