]> git.openstreetmap.org Git - nominatim.git/history - Vagrantfile
more tests for lib/lib.php
[nominatim.git] / Vagrantfile
2015-06-28 Marc Tobias MettenVagrant: remove nonworking Digitalocean configuration
2015-06-25 Marc Tobias Mettenfirst version of Vagrant installation instructions