diff options
author | 2017-01-09 22:13:16 +0000 | |
---|---|---|
committer | 2017-01-09 22:13:16 +0000 | |
commit | 7acbd033f178441b679dd5e1626d3628996f9c74 (patch) | |
tree | c5c74560d783c831732ee75fca834d5e80ecadae /jenkins-scripts/basic_settings.sh | |
parent | 0687193c4f079296f7e67f731c53cb496d356a98 (diff) | |
parent | d8e668be3843e6cf240008ea5c15859ee684616e (diff) |
Merge "Enforce single-use slaves"
Diffstat (limited to 'jenkins-scripts/basic_settings.sh')
0 files changed, 0 insertions, 0 deletions