]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #476 from mtmail/travis-ci
authormtmail <mtmail@gmx.net>
Mon, 1 Aug 2016 00:03:45 +0000 (02:03 +0200)
committerGitHub <noreply@github.com>
Mon, 1 Aug 2016 00:03:45 +0000 (02:03 +0200)
travis-ci setup


Trivial merge