]> git.openstreetmap.org Git - nominatim.git/commitdiff
Update Vagrantfile
authorn-timofeev <nr.timofeev@gmail.com>
Tue, 29 Nov 2022 08:12:10 +0000 (11:12 +0300)
committern-timofeev <nr.timofeev@gmail.com>
Tue, 29 Nov 2022 08:12:10 +0000 (11:12 +0300)

No differences found