summaryrefslogtreecommitdiffstats
path: root/installer/vagrant/Vagrantfile-prod-vbox
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/Vagrantfile-prod-vbox
parente03141b974f84dea800317b1038bf4694368c5e5 (diff)
#983: Updating release Vagrantfile.
Diffstat (limited to 'installer/vagrant/Vagrantfile-prod-vbox')
l---------installer/vagrant/Vagrantfile-prod-vbox2
1 files changed, 1 insertions, 1 deletions
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