Pieter Vander Vennet be0154bfe5 Merge branch 'develop'		2024-01-07 18:23:12 +01:00
..
layers	Merge branch 'develop'	2024-01-07 18:23:12 +01:00
svg	UX: use center icon for directionINdicator if no GPS signal is available	2023-12-26 12:53:31 +01:00
themes	Themes: validate that a background layer actually exists, fix current-view button (GRB)	2024-01-03 18:24:00 +01:00