aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/jenkins/reboot_worker.sh
Commit message (Collapse)AuthorAge
* auto-fix most of licensesGravatar Jan Tattermusch2017-06-08
|
* add script to reboot a jenkins slaveGravatar Jan Tattermusch2016-10-05