Pieter Vander Vennet 3cd04df60b First search with suggestions		2024-08-15 01:51:33 +02:00
..
layers	First search with suggestions	2024-08-15 01:51:33 +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 master	2024-08-09 17:02:59 +02:00