diff options
author | Sebastian Herbszt <herbszt@gmx.de> | 2016-05-03 22:15:38 (GMT) |
---|---|---|
committer | Jan Wagner <waja@cyconet.org> | 2016-11-08 08:52:04 (GMT) |
commit | 2742e657988360a573e517bcc5345e9efae3691d (patch) | |
tree | 293a0d5f6ac74a41f34d77851529e4bf908d8098 /pkg/fedora | |
parent | 85cfc7b1aa0bc4da1248e8abf4541bf35b36b937 (diff) | |
download | monitoring-plugins-2742e657988360a573e517bcc5345e9efae3691d.tar.gz |
check_ide_smart: remove unused functionrefs/pull/1441/head
Remove function unused since commit b5cc292.
Signed-off-by: Sebastian Herbszt <herbszt@gmx.de>
Diffstat (limited to 'pkg/fedora')
0 files changed, 0 insertions, 0 deletions