diff options
Diffstat (limited to 'Tools/ros/vagrant/docker-host-base/Vagrantfile')
| -rw-r--r-- | Tools/ros/vagrant/docker-host-base/Vagrantfile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Tools/ros/vagrant/docker-host-base/Vagrantfile b/Tools/ros/vagrant/docker-host-base/Vagrantfile index 516be528c..cb66d4a68 100644 --- a/Tools/ros/vagrant/docker-host-base/Vagrantfile +++ b/Tools/ros/vagrant/docker-host-base/Vagrantfile @@ -4,6 +4,8 @@ # # Vagrantfile to create docker-host-base # +# Maintainer: Andreas Antener <andreas@uaventure.com> +# # After build, do "vagrant package --base docker-host-base" to package, # and import as box: "vagrant box add --name docker-host-base package.box" # |