]> git.openstreetmap.org Git - nominatim.git/commitdiff
delete an empty line to make the pendantic Mister Travis happy
authorThomasBarris <thomas.barris@googlemail.com>
Fri, 31 Aug 2018 19:44:49 +0000 (21:44 +0200)
committerThomasBarris <thomas.barris@googlemail.com>
Fri, 31 Aug 2018 19:44:49 +0000 (21:44 +0200)

No differences found