https://github.com/ArmanJR/geojson-indoor-tools
Python6
last year
Quick tools for editing GeoJSON files
