Pieter Vander Vennet f51b51c491 Merge master		2023-12-19 23:04:37 +01:00
..
layers	Merge master	2023-12-19 23:04:37 +01:00
svg	Better compass arrow	2023-12-18 01:30:02 +01:00
themes	Merge master	2023-12-19 23:04:37 +01:00