Markus Koch 05238dc5ae Add categories for markers ... This commit obsoletes the many fetch scripts and combines them into a single script, creating a single json, but with category information.		2020-04-27 17:38:19 +02:00
..
geojson	Add categories for markers	2020-04-27 17:38:19 +02:00
convert_maps.sh	Remove necessity for php tile resolution script	2020-04-25 16:43:55 +02:00