Pieter Vander Vennet 4219b23af1 UX: map in 'add new point' now takes the full screen		2023-11-03 01:05:39 +01:00
..
layers	UX: map in 'add new point' now takes the full screen	2023-11-03 01:05:39 +01:00
svg	Merge develop	2023-10-30 16:32:43 +01:00
themes	Lint: reorder all attributes	2023-10-30 18:03:18 +01:00