diff options
author | Holger Levsen <holger@layer-acht.org> | 2016-01-06 15:56:07 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-01-06 15:56:07 +0100 |
commit | 002beaa75d6897a3fe911839240a5a76d5c4dbf9 (patch) | |
tree | c0ec2f337218e44fd35075ecb926aa96caf90122 /THANKS.head | |
parent | 5e3f2355f48dd95c12709666c2683b652d32c86b (diff) | |
download | jenkins.debian.net-002beaa75d6897a3fe911839240a5a76d5c4dbf9.tar.xz |
kill all processes run under /usr/bin/timeout too
Diffstat (limited to 'THANKS.head')
0 files changed, 0 insertions, 0 deletions