|
leafletjs
|
Fix property name check in streetlabels
|
2020-05-05 19:44:05 +02:00 |
|
index.html
|
Change title and footer
|
2020-04-25 18:19:39 +02:00 |
|
mapscript.js
|
Clean up links, open links in new tab
|
2020-04-27 17:49:16 +02:00 |
|
streeteditor.js
|
Correct instructions
|
2020-04-25 18:16:16 +02:00 |
