Pieter Vander Vennet 5611511ce4 Merge branch 'master' into develop		2024-08-09 16:25:06 +02:00
..
layers	Merge branch 'master' into develop	2024-08-09 16:25:06 +02:00
png	Housekeeping: formatting	2024-02-20 13:33:38 +01:00
svg	UX: improve rendering of disabled GPS button (esp. if not available)	2024-08-09 14:39:06 +02:00
themes	Merge branch 'master' into develop	2024-08-09 16:25:06 +02:00