]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #763 from SrihariThalla/update-doc-links
authorSarah Hoffmann <lonvia@denofr.de>
Thu, 29 Jun 2017 19:00:29 +0000 (21:00 +0200)
committerGitHub <noreply@github.com>
Thu, 29 Jun 2017 19:00:29 +0000 (21:00 +0200)
Update incorrect internal links to docs


Trivial merge