diff options
| author |   Pawel Wieczorek <p.wieczorek2@samsung.com> | 2019-04-09 16:25:15 +0200 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@onap.org> | 2019-04-09 15:25:07 +0000 |
| commit | 5c335b37d551fc354f9606e86ffb7b8ccf9ceb91 (patch) | |
| tree | 43f2d39712cd7a16045f6476f8168e8bc65b21c0 /docs/submodules/policy/engine.git | |
| parent | de3a43300e9d05f94fd591552ac11c0f9096190c (diff) | |
Update git submodules
* Update docs/submodules/integration/devtool.git from branch 'master'
to f0f1a644ee5c8da2ee35cb78b8db67e3838121cb
- Synchronize Vagrant version between doc and script
Environment preparation script (tools/setup.sh) installs Vagrant 2.2.3,
while documentation recommends version 2.0.1.
Issue-ID: DOC-420
Change-Id: I9aefc8db2bacacab88a010c587b72a259e550ac8
Signed-off-by: Pawel Wieczorek <p.wieczorek2@samsung.com>
Diffstat (limited to 'docs/submodules/policy/engine.git')
0 files changed, 0 insertions, 0 deletions