Daniel Friesel f198c96e30 update old_station_names		2023-01-15 06:52:26 +01:00
..
ice_names.json	Move ICE names to a separate JSON file	2020-01-06 17:59:40 +01:00
old_station_names.json	update old_station_names	2023-01-15 06:52:26 +01:00
old_stations.json	switch to internal station database; add out-of-service stations for old journeys	2022-12-07 19:42:48 +01:00