diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-12-19 12:15:18 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-12-19 12:15:18 +0100 |
commit | e6ab9c407874e767fca55c684dab0e69172fd561 (patch) | |
tree | bacf0373e2b05666b0801e20f9ca19f52cb37ffd /hosts/rpi2b-armhf-rb/etc | |
parent | c8a6f0bccd2d1cc702864c36ae129153a5d9df26 (diff) | |
download | jenkins.debian.net-e6ab9c407874e767fca55c684dab0e69172fd561.tar.xz |
reproducible archlinux: be more patient and use more force to end schroot sessions
Diffstat (limited to 'hosts/rpi2b-armhf-rb/etc')
0 files changed, 0 insertions, 0 deletions