diff --git a/website/Vagrantfile b/website/Vagrantfile index 83f9c09453..482d3cdf33 100644 --- a/website/Vagrantfile +++ b/website/Vagrantfile @@ -6,14 +6,16 @@ VAGRANTFILE_API_VERSION = "2" $script = <