diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-10-09 09:56:52 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-10-09 09:56:52 +0200 |
| commit | 516cf783262488a1ddb2b8d709f349809ebf74a3 (patch) | |
| tree | adb371181f8d996af3cece6daa131968b105fc2b /bin/maintenance.sh | |
| parent | 88d1fb8e43a2ad94fdccb86856070708340eaaf4 (diff) | |
| download | jenkins.debian.net-516cf783262488a1ddb2b8d709f349809ebf74a3.tar.xz | |
reproducible: indicate processes to kill
Diffstat (limited to 'bin/maintenance.sh')
0 files changed, 0 insertions, 0 deletions