]> git.openstreetmap.org Git - nominatim.git/history - docs/develop/Development-Environment.md
remove dead code
[nominatim.git] / docs / develop / Development-Environment.md
2020-09-18 Ben AntonyUpdate broken links in documentation
2020-09-17 Sarah HoffmannMerge pull request #1961 from lonvia/set-place-type...
2020-09-17 Sarah HoffmannMerge pull request #1960 from lonvia/fix-postcodes...
2020-09-17 Sarah HoffmannMerge pull request #1957 from lonvia/docs-separate...
2020-09-17 Sarah Hoffmanndocs: fix formatting
2020-09-17 Sarah Hoffmannrestructure developer's manual