]> git.openstreetmap.org Git - nominatim.git/commit
travis-CI: use PHP 7.1
authormarc tobias <mtmail@gmx.net>
Wed, 17 Apr 2019 12:03:35 +0000 (14:03 +0200)
committermarc tobias <mtmail@gmx.net>
Wed, 17 Apr 2019 14:05:49 +0000 (16:05 +0200)
commitfab9f684af8784470e4c057ebe46dc5931b69c30
treeda0545416a5d2609cdbeb33a3b22df0e920635d8
parent0af48fe802f6cf81accdb3ee550c23d2ed2376c4
travis-CI: use PHP 7.1
.travis.yml
vagrant/install-on-travis-ci.sh