diff options
Diffstat (limited to 'Tools/ros/vagrant/px4-ros/Vagrantfile')
-rw-r--r-- | Tools/ros/vagrant/px4-ros/Vagrantfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Tools/ros/vagrant/px4-ros/Vagrantfile b/Tools/ros/vagrant/px4-ros/Vagrantfile index a122fb4a3..5b372a94d 100644 --- a/Tools/ros/vagrant/px4-ros/Vagrantfile +++ b/Tools/ros/vagrant/px4-ros/Vagrantfile @@ -23,6 +23,7 @@ # - do not run the docker container with "--rm" (vagrant default). is that even possible? # - maybe map a local working directory to compile stuff without loosing it in side the docker container # +# License: according to LICENSE.md in the root directory of the PX4 Firmware repository Vagrant.configure(2) do |config| # Configure docker host |