diff options
| author | Holger Levsen <holger@layer-acht.org> | 2017-06-21 10:51:04 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2017-06-21 10:51:04 +0200 |
| commit | 31e13b413f7f24d91c8cfeb5ac0c547ea1404899 (patch) | |
| tree | 903bc2d4f133b315338b22bcbd5118803646ef4f /bin/reproducible_worker.sh | |
| parent | f1589853fcd2f6226e2fe0e36540650e1b0dac80 (diff) | |
| download | jenkins.debian.net-31e13b413f7f24d91c8cfeb5ac0c547ea1404899.tar.xz | |
reproducible Debian: kill with force
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'bin/reproducible_worker.sh')
0 files changed, 0 insertions, 0 deletions