]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #1 from lonvia/mobile-responsive-compact-header
authormtmail <mtmail@gmx.net>
Thu, 21 Jan 2016 11:53:52 +0000 (11:53 +0000)
committermtmail <mtmail@gmx.net>
Thu, 21 Jan 2016 11:53:52 +0000 (11:53 +0000)
make headers more compact


Trivial merge