Lucas Verney 60f041f5a6 Move map from Leaflet to OpenLayers ... Also add a way to use a mock GPX trace as geolocation provider.		2018-08-26 17:48:03 +02:00
..
default	Move map from Leaflet to OpenLayers	2018-08-26 17:48:03 +02:00
gpx	Move map from Leaflet to OpenLayers	2018-08-26 17:48:03 +02:00