diff options
| author | Mattia Rizzolo <mattia@debian.org> | 2016-06-12 12:45:47 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-06-12 14:46:47 +0200 |
| commit | dc24b09c2e690ec64b76decadbc7108e344a9bf9 (patch) | |
| tree | 6e137c18ed0983b6d9e8384abc27e3c497e17815 /hosts/jenkins/etc/nagios/obsolete-packages-ignore | |
| parent | a0f13ad7a9b16b8f5ffd4d31bdf560c4e34ed997 (diff) | |
| download | jenkins.debian.net-dc24b09c2e690ec64b76decadbc7108e344a9bf9.tar.xz | |
drop mock from jenkins' obsolete-packages-ignore whitelist
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'hosts/jenkins/etc/nagios/obsolete-packages-ignore')
| -rw-r--r-- | hosts/jenkins/etc/nagios/obsolete-packages-ignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/hosts/jenkins/etc/nagios/obsolete-packages-ignore b/hosts/jenkins/etc/nagios/obsolete-packages-ignore index 932a8957..e69de29b 100644 --- a/hosts/jenkins/etc/nagios/obsolete-packages-ignore +++ b/hosts/jenkins/etc/nagios/obsolete-packages-ignore @@ -1 +0,0 @@ -mock |