diff options
Diffstat (limited to 'Tools/ros/vagrant/docker-host/Vagrantfile')
| -rw-r--r-- | Tools/ros/vagrant/docker-host/Vagrantfile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Tools/ros/vagrant/docker-host/Vagrantfile b/Tools/ros/vagrant/docker-host/Vagrantfile index 42e63567a..9fd4695dd 100644 --- a/Tools/ros/vagrant/docker-host/Vagrantfile +++ b/Tools/ros/vagrant/docker-host/Vagrantfile @@ -4,6 +4,8 @@ # # Actual docker host VM to run. # +# Maintainer: Andreas Antener <andreas@uaventure.com> +# Vagrant.configure(2) do |config| config.vm.box = "docker-host-base" |