diff options
author | 2018-03-16 20:19:54 +0000 | |
---|---|---|
committer | 2018-03-16 20:19:54 +0000 | |
commit | 05ffc8eb4547c95483d5c2d18383847028a7fedc (patch) | |
tree | f41e165d102a25021563516df94a03546e9bef7a /etc/pagemenu.html | |
parent | 9005a46e077a7df3b79a967e88cbc06b3647eb85 (diff) |
Update git submodules
* Update docs/submodules/releng from branch 'master'
- Merge "Set Jenkins parameter 'GIT_BASE' for overriding the default value"
- Set Jenkins parameter 'GIT_BASE' for overriding the default value
Set Yardstick Jenkins job's parameter 'GIT_BASE' for overriding the default
GIT URL from Global Jenkins configuration.
Change-Id: I6fe4a67589aa391c5bc7ac4433509dcfcce858c6
Signed-off-by: trevortao <trevor.tao@arm.com>
Diffstat (limited to 'etc/pagemenu.html')
0 files changed, 0 insertions, 0 deletions