]> git.openstreetmap.org Git - nominatim-ui.git/commitdiff
Merge pull request #16 from mtmail/bootstrap-tabs
authormtmail <mtmail@gmx.net>
Sat, 20 Jun 2020 21:01:47 +0000 (23:01 +0200)
committerGitHub <noreply@github.com>
Sat, 20 Jun 2020 21:01:47 +0000 (23:01 +0200)
forward search: use tabs to switch between simple and structured


Trivial merge