MinedMap/viewer
2020-06-28 17:27:22 +02:00
..
leaflet-1.6.0 viewer: update Leaflet to 1.6.0 2020-06-20 14:17:34 +02:00
index.html viewer: set image-rendering to pixelated 2020-06-28 09:48:17 +02:00
MinedMap.js viewer: use === instead of == where appropriate 2020-06-28 17:27:22 +02:00