From b1cddff239260d7afed2ed9f0655e0d2124f1d11 Mon Sep 17 00:00:00 2001 From: Irina Gómez Date: Wed, 7 Apr 2021 10:50:09 +0200 Subject: #997 Vagrantfile-prod-vbox points to Vagrantfile-1.2.0-vbox. --- installer/vagrant/Vagrantfile-prod-vbox | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/installer/vagrant/Vagrantfile-prod-vbox b/installer/vagrant/Vagrantfile-prod-vbox index 0d1bf07b..86bd3055 120000 --- a/installer/vagrant/Vagrantfile-prod-vbox +++ b/installer/vagrant/Vagrantfile-prod-vbox @@ -1 +1 @@ -Vagrantfile-1.1.1c-vbox \ No newline at end of file +Vagrantfile-1.2.0-vbox \ No newline at end of file -- cgit v1.2.3-18-g5258