]> git.openstreetmap.org Git - nominatim-ui.git/history - dist/index.html
use new place_type from details JSON endpoint
[nominatim-ui.git] / dist / index.html
2019-12-02 marc tobiasadd dist/ directory for first time