]> git.openstreetmap.org Git - nominatim.git/commitdiff
Vagrant: use 2GB by default, dont overwrite local.php which would be unexpected
authormarc tobias <mtm@marcs-MacBook-Pro.local>
Thu, 9 Jul 2015 01:45:31 +0000 (03:45 +0200)
committermarc tobias <mtm@marcs-MacBook-Pro.local>
Thu, 9 Jul 2015 01:45:31 +0000 (03:45 +0200)

No differences found