]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #776 from lonvia/vagrant-fix-country-paths
authorSarah Hoffmann <lonvia@denofr.de>
Wed, 26 Jul 2017 21:44:00 +0000 (23:44 +0200)
committerGitHub <noreply@github.com>
Wed, 26 Jul 2017 21:44:00 +0000 (23:44 +0200)
vagrant: download country data into correct directory


Trivial merge