scripts/mapping_geojson_to_osm_tags/mappings/converters
2023-08-05 16:06:44 +02:00
..
configIRVE.ts improve mapping 2023-08-05 16:06:44 +02:00
mappingConfigIRVE_simple.ts add types 2023-08-05 10:07:57 +02:00