]> git.openstreetmap.org Git - nominatim.git/commit
remove old vagrant scripts
authorSarah Hoffmann <lonvia@denofr.de>
Wed, 8 Jun 2016 21:23:09 +0000 (23:23 +0200)
committerSarah Hoffmann <lonvia@denofr.de>
Wed, 8 Jun 2016 21:23:09 +0000 (23:23 +0200)
commit6436bab1bea84d851c823985aa5c65a4735f6b3e
tree53eeb4c019b1c70f7466256125d13cb5af26adc6
parent91e1e4d614edcd13dc19ac1409a9cf812ead964c
remove old vagrant scripts
vagrant/centos-7-provision.sh [deleted file]
vagrant/ubuntu-trusty-php7-provision.sh [deleted file]
vagrant/ubuntu-trusty-provision.sh [deleted file]