]> git.openstreetmap.org Git - nominatim.git/commitdiff
more format changes for Mr. Travis
authorThomasBarris <thomas.barris@googlemail.com>
Fri, 31 Aug 2018 20:01:53 +0000 (22:01 +0200)
committerThomasBarris <thomas.barris@googlemail.com>
Fri, 31 Aug 2018 20:01:53 +0000 (22:01 +0200)

No differences found