diff options
author | 2018-06-26 12:45:06 +0000 | |
---|---|---|
committer | 2018-06-26 12:45:06 +0000 | |
commit | a38631b02afb0df0b3eb91a42c7bd22032118d9d (patch) | |
tree | 4d7bf81ea80968dda72ade7e90b486b5a7961578 /docs | |
parent | 1fef05edf2a0f8dfadc3864eaa4795805a24b921 (diff) |
Update git submodules
* Update docs/submodules/releng from branch 'master'
- Merge "Include yamllint on build servers"
- Include yamllint on build servers
Change-Id: Ie99da1fd5ed3789a1dbf4134796b95f2ac69abce
Signed-off-by: Trevor Bramwell <tbramwell@linuxfoundation.org>
Diffstat (limited to 'docs')
m--------- | docs/submodules/releng | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/submodules/releng b/docs/submodules/releng -Subproject 07139071a8d3e7d0207ccac05b24b84bf11f712 +Subproject a9ac51e26dcd61b905411d4abcb2c38e6d855d3 |