diff options
author | 2018-10-30 19:36:40 +0100 | |
---|---|---|
committer | 2018-10-30 20:25:55 +0000 | |
commit | ea5ffc9d95b4d81a3aaf5466e48e29655bf69cfd (patch) | |
tree | 0b946dfad5c90e572a8d1ad76cf656f8be2341e2 /docs/how-to-use-docs | |
parent | 73fd49ad4a5a0d99e38edeafce28e8652d9e4d3c (diff) |
Update git submodules
* Update docs/submodules/releng from branch 'master'
- Revert "Avoid jenkins substitutions"
This reverts commit 00431827b1a41f55fb700e69bfb229ccebc9c3f0.
Change-Id: I77f0500b5e712745799dc9a7c7b94ce840e1f148
Signed-off-by: Cédric Ollivier <cedric.ollivier@orange.com>
Diffstat (limited to 'docs/how-to-use-docs')
0 files changed, 0 insertions, 0 deletions