diff options
author | Lorenz Kästle <12514511+RincewindsHat@users.noreply.github.com> | 2023-09-12 08:07:33 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-09-12 08:07:33 (GMT) |
commit | 7cf099cfb4a0e2f99943ae44bf42c23424bdc19d (patch) | |
tree | 76683c7779ec7b0a3cd686154041bdeec71c2494 /gl/getopt.in.h | |
parent | 0e0c574e555bb12bbb3a4884f331f8d9d4ccbe0a (diff) | |
parent | 53ea2304aa8364f74e76f82430b67833fccf402f (diff) | |
download | monitoring-plugins-7cf099cfb4a0e2f99943ae44bf42c23424bdc19d.tar.gz |
Merge pull request #1920 from RincewindsHat/fix/check_disk_remove_dead_variables
check_disk: Remove some dead variables
Diffstat (limited to 'gl/getopt.in.h')
0 files changed, 0 insertions, 0 deletions