diff options
author | Sven Nierlein <sven@nierlein.org> | 2016-11-07 22:05:26 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-07 22:05:26 (GMT) |
commit | 28d4812860900e3eb21c3e64ec4250fead367c1a (patch) | |
tree | 847921057a93a7168fab3faf19f9d1478b8842dc /gl/getopt.in.h | |
parent | d3cedfe305f428ac614b2ca44f509ac3392d8006 (diff) | |
parent | 193ea6b5d7388389eb2735260308380a22c50c68 (diff) | |
download | monitoring-plugins-28d4812860900e3eb21c3e64ec4250fead367c1a.tar.gz |
Merge pull request #1307 from waja/check_dns_dead_code
check_dns: remove dead code
Diffstat (limited to 'gl/getopt.in.h')
0 files changed, 0 insertions, 0 deletions