From a45a130e609bf114d54c911720672b9f77cb2507 Mon Sep 17 00:00:00 2001
From: Victor LABORIE <vlaborie@evolix.fr>
Date: Mon, 10 Feb 2020 15:12:30 +0100
Subject: [PATCH] Don't force Vagrant::DEFAULT_SERVER_URL (doesn't work with
 recent Vagrant version)

---
 Vagrantfile | 2 --
 1 file changed, 2 deletions(-)

diff --git a/Vagrantfile b/Vagrantfile
index 47193c3..4633236 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -1,8 +1,6 @@
 # -*- mode: ruby -*-
 # vi: set ft=ruby :
 
-Vagrant::DEFAULT_SERVER_URL.replace('https://vagrantcloud.com')
-
 # Load ~/.VagrantFile if exist, permit local config provider
 vagrantfile = File.join("#{Dir.home}", '.VagrantFile')
 load File.expand_path(vagrantfile) if File.exists?(vagrantfile)