diff options
| author | RincewindsHat <12514511+RincewindsHat@users.noreply.github.com> | 2023-10-17 15:12:56 (GMT) |
|---|---|---|
| committer | waja <waja@users.noreply.github.com> | 2023-10-17 15:56:06 (GMT) |
| commit | ddbf839d933d38ec00d399367c9b22b12a2b72b0 (patch) | |
| tree | 45a6d512f887abab02c0929b31cc89b40a876b8b /lib/extra_opts.h | |
| parent | 14e6b33c8580de5c3c91ac835f8085581e71ee6d (diff) | |
| download | monitoring-plugins-ddbf839d933d38ec00d399367c9b22b12a2b72b0.tar.gz | |
Shorten NEWS quite a bit
Diffstat (limited to 'lib/extra_opts.h')
0 files changed, 0 insertions, 0 deletions