]> git.openstreetmap.org Git - nominatim.git/history - vagrant/Install-on-Centos-8.sh
Merge pull request #1780 from Simon-Will/1768-vagrant-installation-for-ubuntu-20
[nominatim.git] / vagrant / Install-on-Centos-8.sh
2020-04-26 Sarah HoffmannMerge branch 'separate-compilation' of https://github...
2020-02-07 Sarah HoffmannMerge pull request #1665 from mtmail/centos7-php7
2020-02-07 marc tobiasCentOS7: update from PHP 5.4 to 7.2
2020-02-06 Sarah HoffmannMerge pull request #1663 from mtmail/vagrant-centos-8
2020-02-05 marc tobiasVagrant setup for CentOS 8