From dc6c7c7e6f14e7835e1e3cae6a0a20a7d36b75c1 Mon Sep 17 00:00:00 2001 From: Mustafa M Date: Fri, 26 Apr 2019 23:49:15 -0400 Subject: [PATCH] Delete vagrant instructions (#31852) --- README.md | 4 ---- 1 file changed, 4 deletions(-) diff --git a/README.md b/README.md index 2b43ea29bb6c9..d16009d23fcbc 100644 --- a/README.md +++ b/README.md @@ -272,10 +272,6 @@ set `JULIA_THREADS=0` in your `Make.user` if you're on a 32-bit system. In order to build Julia on Windows, see [README.windows](https://github.com/JuliaLang/julia/blob/master/doc/README.windows.md). -### Vagrant - -Julia can be developed in an isolated Vagrant environment. See [the Vagrant README](https://github.com/JuliaLang/julia/blob/master/contrib/vagrant/README.md) for details. - ## Required Build Tools and External Libraries Building Julia requires that the following software be installed: