Delete DEFAULT_SERVER_URL (#135)

This commit is contained in:
Nate Foster 2018-04-17 21:10:41 -04:00 committed by GitHub
parent e535f0429c
commit 494706bd60
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,8 +1,6 @@
# -*- mode: ruby -*-
# vi: set ft=ruby :
Vagrant::DEFAULT_SERVER_URL.replace('https://vagrantcloud.com')
Vagrant.configure(2) do |config|
config.vm.box = "bento/ubuntu-16.04"
config.vm.define "p4-tutorial" do |tutorial|