From: Sarah Hoffmann Date: Fri, 26 May 2017 19:39:37 +0000 (+0200) Subject: Merge pull request #730 from SrihariThalla/update-vagrantmd-doc X-Git-Tag: v3.0.0~31 X-Git-Url: https://git.openstreetmap.org./nominatim.git/commitdiff_plain/deca74bc3aace543d425670f2d4af92c8e564220?hp=-c Merge pull request #730 from SrihariThalla/update-vagrantmd-doc Update the formatting in Vagrant markdown doc --- deca74bc3aace543d425670f2d4af92c8e564220