[monitoring-plugins/monitoring-plugins] check_ide_smart: remove unused function (#1441)

[Sven Nierlein]

Thanks, merged.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/monitoring-plugins/monitoring-plugins/pull/1441#issuecomment-259087119
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://www.monitoring-plugins.org/archive/devel/attachments/20161108/16987b3c/attachment.html>