diff options
author | RincewindsHat <12514511+RincewindsHat@users.noreply.github.com> | 2022-08-23 19:29:21 +0200 |
---|---|---|
committer | RincewindsHat <12514511+RincewindsHat@users.noreply.github.com> | 2022-08-23 19:29:21 +0200 |
commit | 9a1eb6988110a64cdeacb2072ce93eb0fc5150da (patch) | |
tree | 8e18ce4241782b53e1e2ee36d00f39883aafd39b | |
parent | 918b03b87640156f74a34fb3238ef97a85a7ad5c (diff) | |
download | monitoring-plugins-9a1eb69.tar.gz |
Also add warn-on-use.h
-rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -87,7 +87,6 @@ NP-VERSION-FILE | |||
87 | /gl/sys | 87 | /gl/sys |
88 | /gl/time.h | 88 | /gl/time.h |
89 | /gl/unistd.h | 89 | /gl/unistd.h |
90 | /gl/warn-on-use.h | ||
91 | /gl/wchar.h | 90 | /gl/wchar.h |
92 | /gl/wctype.h | 91 | /gl/wctype.h |
93 | 92 | ||