diff options
author | RincewindsHat <12514511+RincewindsHat@users.noreply.github.com> | 2022-08-23 19:23:17 +0200 |
---|---|---|
committer | RincewindsHat <12514511+RincewindsHat@users.noreply.github.com> | 2022-08-23 19:23:58 +0200 |
commit | 55964355109077d6e0451644e5b75d7515d41f2e (patch) | |
tree | 15837f923ed6d7987c6d899f009b7145e9bd41db | |
parent | c602300fc87bab51346895f14f7600c77334a457 (diff) | |
download | monitoring-plugins-55964355109077d6e0451644e5b75d7515d41f2e.tar.gz |
remote gitignore in gl again
-rw-r--r-- | gl/.gitignore | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/gl/.gitignore b/gl/.gitignore deleted file mode 100644 index 603ca994..00000000 --- a/gl/.gitignore +++ /dev/null | |||
@@ -1,7 +0,0 @@ | |||
1 | /00gnulib.m4 | ||
2 | /c++defs.h | ||
3 | /dummy.c | ||
4 | /gnulib-common.m4 | ||
5 | /gnulib-comp.m4 | ||
6 | /gnulib-tool.m4 | ||
7 | /zzgnulib.m4 | ||