From 5c335b37d551fc354f9606e86ffb7b8ccf9ceb91 Mon Sep 17 00:00:00 2001 From: Pawel Wieczorek Date: Tue, 9 Apr 2019 16:25:15 +0200 Subject: 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 --- docs/submodules/integration/devtool.git | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/submodules/integration') diff --git a/docs/submodules/integration/devtool.git b/docs/submodules/integration/devtool.git index 07c12b82b..f0f1a644e 160000 --- a/docs/submodules/integration/devtool.git +++ b/docs/submodules/integration/devtool.git @@ -1 +1 @@ -Subproject commit 07c12b82b1b23d9c824a46e9c861f79ee5a6867c +Subproject commit f0f1a644ee5c8da2ee35cb78b8db67e3838121cb -- cgit 1.2.3-korg