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