diff options
| author | Andreas Baumann <mail@andreasbaumann.cc> | 2018-06-03 12:23:10 (GMT) |
|---|---|---|
| committer | Sven Nierlein <sven@nierlein.de> | 2018-10-22 14:30:31 (GMT) |
| commit | 577edf4725dfc3e6474042a0e0d6585b744b2b8c (patch) | |
| tree | 9de8f3a87cdc7121b8e3a2a458a3242fc0fa888e /plugins/check_ping.c | |
| parent | 58117296328e5a013e79e6004c109cd811298157 (diff) | |
| download | monitoring-plugins-577edf4725dfc3e6474042a0e0d6585b744b2b8c.tar.gz | |
check_curl: removed some dead code
Diffstat (limited to 'plugins/check_ping.c')
0 files changed, 0 insertions, 0 deletions