Pieter Vander Vennet a566ab6725 Add geolocation button which uses device GPS		2020-06-28 02:42:22 +02:00
..
Leaflet.AccuratePosition.js	Add geolocation button which uses device GPS	2020-06-28 02:42:22 +02:00