diff options
| author | RincewindsHat <12514511+RincewindsHat@users.noreply.github.com> | 2023-10-01 13:40:50 +0200 |
|---|---|---|
| committer | RincewindsHat <12514511+RincewindsHat@users.noreply.github.com> | 2023-10-01 13:40:50 +0200 |
| commit | e695a81b137e50ebbdf3d78a371a3e2201835440 (patch) | |
| tree | 1ca14789622a28bd404a55eedd2c4e9037b54502 /doc/makefile | |
| parent | a4c7111f90b00e5060eeebd73b71f67e6e161607 (diff) | |
| download | monitoring-plugins-e695a81b137e50ebbdf3d78a371a3e2201835440.tar.gz | |
Remove unnecessary type defines
Diffstat (limited to 'doc/makefile')
0 files changed, 0 insertions, 0 deletions