Markus Koch 255e81ce9f Improve location history ... Before, script initiated moves would mess with the history through hash updates partway through the move. This commit fixes this behavior by checking for a human source.		2020-04-19 10:45:26 +02:00
..
leafletjs	Add street editor	2020-04-17 21:47:12 +02:00
tiles	Move webserver stuff into htdocs directory	2020-04-14 21:31:25 +02:00
index.html	Add street editor	2020-04-17 21:47:12 +02:00
mapscript.js	Improve location history	2020-04-19 10:45:26 +02:00
streeteditor.js	Improve location history	2020-04-19 10:45:26 +02:00