summaryrefslogtreecommitdiffstats
path: root/installer/vagrant
diff options
context:
space:
mode:
authorRamón M. Gómez <ramongomez@us.es>2020-06-09 11:33:55 +0200
committerRamón M. Gómez <ramongomez@us.es>2020-06-09 11:33:55 +0200
commit23e53a5f4c886b673d9795734c56a92099715f02 (patch)
treef5535b74083099e3d58f905841c383832abfb3b5 /installer/vagrant
parente03141b974f84dea800317b1038bf4694368c5e5 (diff)
#983: Updating release Vagrantfile.
Diffstat (limited to 'installer/vagrant')
-rw-r--r--installer/vagrant/Vagrantfile-1.1.1c-vbox (renamed from installer/vagrant/Vagrantfile-1.1.1b-vbox)0
l---------installer/vagrant/Vagrantfile-prod-vbox2
2 files changed, 1 insertions, 1 deletions
diff --git a/installer/vagrant/Vagrantfile-1.1.1b-vbox b/installer/vagrant/Vagrantfile-1.1.1c-vbox
index 7db7b8f5..7db7b8f5 100644
--- a/installer/vagrant/Vagrantfile-1.1.1b-vbox
+++ b/installer/vagrant/Vagrantfile-1.1.1c-vbox
diff --git a/installer/vagrant/Vagrantfile-prod-vbox b/installer/vagrant/Vagrantfile-prod-vbox
index 3fdb0e39..0d1bf07b 120000
--- a/installer/vagrant/Vagrantfile-prod-vbox
+++ b/installer/vagrant/Vagrantfile-prod-vbox
@@ -1 +1 @@
-Vagrantfile-1.1.1b-vbox \ No newline at end of file
+Vagrantfile-1.1.1c-vbox \ No newline at end of file