Daniel Friesel 5d5aa026c2 add recent IRIS station renames		2020-10-17 16:13:31 +02:00
..
ice_names.json	Move ICE names to a separate JSON file	2020-01-06 17:59:40 +01:00
old_station_names.json	add recent IRIS station renames	2020-10-17 16:13:31 +02:00