]> git.openstreetmap.org Git - nominatim-ui.git/commitdiff
Merge pull request #8 from mtmail/bootstrap-v4
authormtmail <mtmail@gmx.net>
Sun, 17 May 2020 23:13:23 +0000 (01:13 +0200)
committerGitHub <noreply@github.com>
Sun, 17 May 2020 23:13:23 +0000 (01:13 +0200)
upgrade CSS from Bootstrap 3.x => 4.x


Trivial merge