Re: [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