diff options
| author | Holger Levsen <holger@layer-acht.org> | 2017-10-11 16:26:14 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2017-10-11 16:26:14 +0200 |
| commit | f7adf07306fbfb1ae6d539def9310895d03995c5 (patch) | |
| tree | 6553eaa53cc676927a08a4733087580587c54fb1 /hosts/jenkins/etc/apt/apt.conf.d/80proxy | |
| parent | 6aa3733371429648080e19149a5c8fd1003a08e9 (diff) | |
| download | jenkins.debian.net-f7adf07306fbfb1ae6d539def9310895d03995c5.tar.xz | |
detect more zombie jobs
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'hosts/jenkins/etc/apt/apt.conf.d/80proxy')
0 files changed, 0 insertions, 0 deletions