]> git.openstreetmap.org Git - nominatim.git/commitdiff
projects / nominatim.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 3cdbcbf)
get apt-get php-db package running on travis-ci (#973)
authormtmail <mtmail@gmx.net>
Wed, 11 Apr 2018 22:54:59 +0000 (00:54 +0200)
committerGitHub <noreply@github.com>
Wed, 11 Apr 2018 22:54:59 +0000 (00:54 +0200)
travis: /usr/bin/env php whenever calling PHP scripts to deal with phpenv


No differences found
Open Source search based on OpenStreetMap data