diff options
author | Vagrant Cascadian <vagrant@debian.org> | 2017-06-26 15:11:02 -0700 |
---|---|---|
committer | Mattia Rizzolo <mattia@debian.org> | 2017-06-27 10:34:31 +0200 |
commit | 89f0204854ad10ca6b505ab4a5bf04e59875058a (patch) | |
tree | 0d007bff80b48be08a7b83a090b9e09a3c30a30c /hosts/odc2a-armhf-rb/etc/munin/plugins | |
parent | b05af1c4bce0279b91d16dc22a38a74ba6336282 (diff) | |
download | jenkins.debian.net-89f0204854ad10ca6b505ab4a5bf04e59875058a.tar.xz |
reproducible: Switch armhf machines to stretch.
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
Diffstat (limited to 'hosts/odc2a-armhf-rb/etc/munin/plugins')
0 files changed, 0 insertions, 0 deletions