Updated git submodules

Project: integration master 071b81cf985c482bb0a38ca1c96491feefd1ec13

Integrate install_dev_tools into install_docker

The packages installed by the install_dev_tools are only required by
the docker installation, therefore is not necessary to install them
in other cases. According to the Docker official documentation the
linux-image-extra-* packages are required.

Change-Id: I96c5f556c9e5a74d52e012d7896786061299036e
Signed-off-by: Victor Morales <victor.morales@intel.com>
Issue-Id: INT-328


1 file changed
tree: fbce497664fcdd4c9f23037de29a4b2cc35de931
  1. docs/
  2. etc/
  3. .gitignore
  4. .gitmodules
  5. .gitreview
  6. LICENSE
  7. tox.ini