Markus Koch 4d2fc5e739 Ignore districts for now ... They are not yet implemented on the map and would only clutter the map.		2020-04-26 23:07:43 +02:00
..
fetch_city_outlines.sh	Ignore districts for now	2020-04-26 23:07:43 +02:00
fetch_streets.sh	Move Maps:-based scripts to separate directory	2020-04-26 17:28:37 +02:00
update_all.sh	Add script to update all Maps:-based jsons	2020-04-26 17:30:59 +02:00