7734485917411998476 10c385975c Grijze pinnen toegevoegd ... Grijze pinnen indiceren dat een locatie niet open is, maar binnenkort opent.		2021-05-08 13:47:19 +02:00
..
handlebars-2.0.0.js	Eliminate CDNs	2020-05-20 16:25:44 +02:00
jquery-1.11.0.js	Eliminate CDNs	2020-05-20 16:25:44 +02:00
leaflet-1.0.0.js	Revert to Leaflet 1.0.0	2020-05-22 22:19:15 +02:00
leaflet-1.6.0.js	Update Leaflet to 1.6.0	2020-05-20 16:25:44 +02:00
map.js	Grijze pinnen toegevoegd	2021-05-08 13:47:19 +02:00