From: Sarah Hoffmann Date: Mon, 25 Jul 2022 08:29:32 +0000 (+0200) Subject: Merge pull request #2775 from lonvia/remove-centos-instructions X-Git-Tag: v4.1.0~6 X-Git-Url: https://git.openstreetmap.org/nominatim.git/commitdiff_plain/95d4061b2aa67d7fd3d29099cc1cfd9f2b4022c8 Merge pull request #2775 from lonvia/remove-centos-instructions Remove vagrant scripts for CentOS --- 95d4061b2aa67d7fd3d29099cc1cfd9f2b4022c8