Merge pull request #1081 from giuseppe/drop-vagrant

Vagrantfile: remove
containers · Nov 30, 2021 · f84b05e · f84b05e
2 parents 13f2d57 + 62e8298
commit f84b05e
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 90 deletions.
diff --git a/Vagrantfile b/Vagrantfile
diff --git a/vagrant/provision.sh b/vagrant/provision.sh
diff --git a/vagrant/runinvm.sh b/vagrant/runinvm.sh