diff options
| author | Mattia Rizzolo <mattia@debian.org> | 2017-11-04 23:29:18 +0100 |
|---|---|---|
| committer | Mattia Rizzolo <mattia@debian.org> | 2017-11-04 23:29:21 +0100 |
| commit | 830badd0a2467421ebac51a8410bcfdba8e1188d (patch) | |
| tree | 9b747e9b3bceb2ce84855e01d001133105438c5f /hosts/rpi2c-armhf-rb/etc/munin/plugin-conf.d/df | |
| parent | 5a2fcb48105f8bc537b60a1dde60f24e4df070ac (diff) | |
| download | jenkins.debian.net-830badd0a2467421ebac51a8410bcfdba8e1188d.tar.xz | |
reproducible archlinux: also enable schroot generation on jenkins as well, it's needed to decide what to build
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
Diffstat (limited to 'hosts/rpi2c-armhf-rb/etc/munin/plugin-conf.d/df')
0 files changed, 0 insertions, 0 deletions