Pieter Vander Vennet ee77dd0fc9 Merge develop		2024-08-22 03:01:21 +02:00
..
layers	Merge master	2024-08-19 17:56:33 +02:00
png	Housekeeping: formatting	2024-02-20 13:33:38 +01:00
svg	UX: more work on a search function	2024-08-21 14:06:42 +02:00
themes	Improve cycle highway rendering	2024-08-16 14:28:53 +02:00