|
leafletjs
|
Add basic support for city outlines
|
2020-04-25 13:08:14 +02:00 |
|
tiles
|
Add tile ID conversion php file
|
2020-04-25 15:56:50 +02:00 |
|
mapscript.js
|
Clean up
|
2020-04-25 13:33:34 +02:00 |
|
streeteditor.js
|
Add editor mode for polygons
|
2020-04-20 18:51:10 +02:00 |
