diff options
author | Mattia Rizzolo <mattia@debian.org> | 2017-07-18 00:22:24 +0200 |
---|---|---|
committer | Mattia Rizzolo <mattia@debian.org> | 2017-07-18 00:22:24 +0200 |
commit | d019f87ad014ed546e805520d65fd2596776eb5e (patch) | |
tree | 75e7dfc1001ee9bf4eb21491d6153827d4d0588f /hosts/bpi0-armhf-rb/etc/munin/plugin-conf.d/df | |
parent | 87f8632536c800f8e6d0a3a64a035356023df190 (diff) | |
download | jenkins.debian.net-d019f87ad014ed546e805520d65fd2596776eb5e.tar.xz |
chroot-run: another case when to retry debootstrap…
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
Diffstat (limited to 'hosts/bpi0-armhf-rb/etc/munin/plugin-conf.d/df')
0 files changed, 0 insertions, 0 deletions