diff options
author | Markos Chandras <mchandras@suse.de> | 2018-02-27 16:13:04 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@opnfv.org> | 2018-02-28 10:35:10 +0000 |
commit | b5e163032bb3c0dd25e7132d8d8523483addcb40 (patch) | |
tree | 0bff5d10a21c3d18cb5754ee2807a540bfb4eebd /docs/how-to-use-docs | |
parent | 2cbffde48352253dcc2883aa96c6381ee1642bc2 (diff) |
Update git submodules
* Update docs/submodules/releng-xci from branch 'master'
- xci: script: start-new-vm: Switch to using 'curl' instead of 'wget'
curl supports the 'retry' argument to handle all sorts of connection
problems so we can use it to retry if we encounter a broken connection.
Change-Id: I3c8afd2be36ee36c5477f05495704bbbee5b9757
Signed-off-by: Markos Chandras <mchandras@suse.de>
Diffstat (limited to 'docs/how-to-use-docs')
0 files changed, 0 insertions, 0 deletions