diff options
author | 2018-08-06 09:00:52 +0000 | |
---|---|---|
committer | 2018-08-06 09:00:52 +0000 | |
commit | 5f13777d6a216ef261b3c458b13eb07d52faa0a1 (patch) | |
tree | 78fd0f2b299dedbf3030f9293178776ff80b1d54 /etc | |
parent | c96be3071945e50c89279e7f484271093320867c (diff) |
Update git submodules
* Update docs/submodules/releng from branch 'master'
- Merge "use 'workspace-cleanup' plugin in publisher"
- use 'workspace-cleanup' plugin in publisher
Change-Id: I4db7c0cda5485dbc756a22b9cbde298612241274
Signed-off-by: dongwenjuan <dong.wenjuan@zte.com.cn>
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions