diff options
author | 2016-10-05 15:26:03 +0200 | |
---|---|---|
committer | 2016-10-05 15:27:54 +0200 | |
commit | 8e5a2eab00ba0a14d4352fcf49ff12e6e870ba72 (patch) | |
tree | f8e6c2ed2829189275e822321257da9bcc9f1884 /.gitignore | |
parent | 7ad6369937aabd3e3ff7162fbfc729607eedf7ba (diff) |
add script to reboot a jenkins slave
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions