diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-08-17 10:42:03 +0000 |
---|---|---|
committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-08-17 10:48:46 +0000 |
commit | f5b51adf4fe89a443ef6f3c49e05a3e75be60722 (patch) | |
tree | 99bf8d462ee31a6471b6688a487c7487e5618a61 /hosts/jenkins/etc/munin/plugins | |
parent | 15efd34ed215bbb6cdaafa77fbc5e9922b79fc3e (diff) | |
download | jenkins.debian.net-f5b51adf4fe89a443ef6f3c49e05a3e75be60722.tar.xz |
reproducible: notes: do not fail the job when the version is missing
Diffstat (limited to 'hosts/jenkins/etc/munin/plugins')
0 files changed, 0 insertions, 0 deletions