Matthias Schiffer 989428f78d viewer: use sign icons instead of default markers		2024-01-10 22:56:31 +01:00
..
images	viewer: add sign images	2024-01-10 22:56:31 +01:00
leaflet-1.9.4	viewer: update to leaflet 1.9.4	2024-01-03 04:57:15 +01:00
index.html	viewer: display markers for signs	2024-01-10 22:56:30 +01:00
MinedMap.js	viewer: use sign icons instead of default markers	2024-01-10 22:56:31 +01:00