From: K Rahul Reddy <31247036+krahulreddy@users.noreply.github.com>
Date: Sat, 18 Apr 2020 22:42:24 +0000 (+0530)
Subject: Fix documentation links (#1760)
X-Git-Tag: v3.5.0~36
X-Git-Url: https://git.openstreetmap.org/nominatim.git/commitdiff_plain/42c80893cb1038e21c05c2d0d30e3a7a20f0fa26?hp=42c80893cb1038e21c05c2d0d30e3a7a20f0fa26

Fix documentation links (#1760)

Update installation documentation link in VAGRANT.md, update.php
---