From 8319877a432c38955e3b3210bf5f38acdfdc38d9 Mon Sep 17 00:00:00 2001 From: Graham Mainwaring Date: Tue, 7 Jun 2016 14:09:54 -0700 Subject: [PATCH] Merge pull request #2217 from ghjm/vagrant_atlas Update web site Vagrant instructions