diff options
Diffstat (limited to 'contrib/Vagrantfile')
-rw-r--r-- | contrib/Vagrantfile | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/contrib/Vagrantfile b/contrib/Vagrantfile index b34056333..6d2d42032 100644 --- a/contrib/Vagrantfile +++ b/contrib/Vagrantfile @@ -78,10 +78,6 @@ sudo apt-get install -qq lua5.2 lua5.2-dev # Node.js dependencies sudo apt-get install -qq nodejs nodejs-dev nodejs-legacy npm -# CSharp -sudo apt-get install -qq mono-gmcs mono-devel mono-xbuild mono-complete libmono-system-web2.0-cil -sudo apt-get install -qq mingw32 mingw32-binutils mingw32-runtime nsis - # D dependencies sudo wget http://master.dl.sourceforge.net/project/d-apt/files/d-apt.list -O /etc/apt/sources.list.d/d-apt.list sudo apt-get update && sudo apt-get -y --allow-unauthenticated install --reinstall d-apt-keyring && sudo apt-get update |