diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2020-01-20 14:25:51 +0100 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2020-01-20 14:25:51 +0100 |
| commit | b6d3c1d05f59910d67c65fcaa114c1c38c716af7 (patch) | |
| tree | 45e9866e8d7d76e7a04e9f5a6ab478cbd1ee57c0 /installer/vagrant/Vagrantfile-prod-vbox | |
| parent | 283164766b1e697337afc0878d6aff13f965e1d8 (diff) | |
#946: Updating Vagrant labs to OpenGnsys 1.1.1a
Diffstat (limited to 'installer/vagrant/Vagrantfile-prod-vbox')
| l--------- | installer/vagrant/Vagrantfile-prod-vbox | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/installer/vagrant/Vagrantfile-prod-vbox b/installer/vagrant/Vagrantfile-prod-vbox index f14479e7..8fc7a825 120000 --- a/installer/vagrant/Vagrantfile-prod-vbox +++ b/installer/vagrant/Vagrantfile-prod-vbox @@ -1 +1 @@ -Vagrantfile-1.1.1-vbox
\ No newline at end of file +Vagrantfile-1.1.1a-vbox
\ No newline at end of file |