]> git.openstreetmap.org Git - nominatim.git/commit
Merge pull request #1780 from Simon-Will/1768-vagrant-installation-for-ubuntu-20
authorSarah Hoffmann <lonvia@denofr.de>
Thu, 7 May 2020 18:46:44 +0000 (20:46 +0200)
committerGitHub <noreply@github.com>
Thu, 7 May 2020 18:46:44 +0000 (20:46 +0200)
commit6e39ed9573f1dcf5ea905815b2a33dfaf2deaa93
treec265523473b4ccc8fdc07cbe7598e520eaf9340d
parent644a7f524cfba0ddcdf4d67c8e8ab7da091644fb
parentdaf45a2993b893b8030aba0da2567e0e90dd31a3
Merge pull request #1780 from Simon-Will/1768-vagrant-installation-for-ubuntu-20

Add vagrant machine for Ubuntu 20.04