]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #2931 from mtmail/vagrant-md-use-dotenv
authorSarah Hoffmann <lonvia@denofr.de>
Thu, 22 Dec 2022 09:20:15 +0000 (10:20 +0100)
committerGitHub <noreply@github.com>
Thu, 22 Dec 2022 09:20:15 +0000 (10:20 +0100)
VAGRANT.md - replace local.php settings with .env


Trivial merge