diff options
author | 2017-01-11 18:49:47 +0000 | |
---|---|---|
committer | 2017-01-11 18:49:47 +0000 | |
commit | 66748e90b09e7398e675285c10fc286b5c740f26 (patch) | |
tree | 06f4ada6da379ce12b67c25a1b9ee7b25d3921c5 /utils/lab-reconfiguration | |
parent | 833deb5c594672dcaf1151ecf32ae13456e94571 (diff) | |
parent | 309d7e37065bea52e31f0cb6573dc8d19a41fc0b (diff) |
Merge "utils/jenkins-jnlp-connect.sh: Make sure the pid directory exists"
Diffstat (limited to 'utils/lab-reconfiguration')
0 files changed, 0 insertions, 0 deletions