]> git.openstreetmap.org Git - nominatim-ui.git/commitdiff
Merge pull request #40 from mtmail/navigation-to-details-index-page
authormtmail <mtmail@gmx.net>
Wed, 28 Oct 2020 18:16:40 +0000 (19:16 +0100)
committerGitHub <noreply@github.com>
Wed, 28 Oct 2020 18:16:40 +0000 (19:16 +0100)
navigation link to -search by id-


Trivial merge