diff options
| author | Lorenz <12514511+RincewindsHat@users.noreply.github.com> | 2023-05-22 21:28:27 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-22 21:28:27 (GMT) |
| commit | da8d0eb3addfa2a1f966f7feb47a7cbb8124eabc (patch) | |
| tree | 008132e4cb887789eabaf2264ea0b523fbfe7fde /lib/extra_opts.h | |
| parent | 4ed55a1d40ac8693c7d5c9aa3a7301f0a2236135 (diff) | |
| parent | bd6187be8c687fee6fa06947e7c4a432af4dfe87 (diff) | |
| download | monitoring-plugins-da8d0eb3addfa2a1f966f7feb47a7cbb8124eabc.tar.gz | |
Merge pull request #1880 from StefanTT/master
check_disk: Avoid mounting when searching for matching mount points
Diffstat (limited to 'lib/extra_opts.h')
0 files changed, 0 insertions, 0 deletions