X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=build-aux%2Fsnippet%2F.gitignore;fp=build-aux%2Fsnippet%2F.gitignore;h=0000000000000000000000000000000000000000;hb=258cbd9cdf386687122b0854274923acafc786d4;hp=88b6db4b8820ec2f70069c923ded4ab8ec7e6bac;hpb=ee4b996842013f259812700adafdea36a594d394;p=pspp

diff --git a/build-aux/snippet/.gitignore b/build-aux/snippet/.gitignore
deleted file mode 100644
index 88b6db4b88..0000000000
--- a/build-aux/snippet/.gitignore
+++ /dev/null
@@ -1,5 +0,0 @@
-_Noreturn.h
-arg-nonnull.h
-c++defs.h
-unused-parameter.h
-warn-on-use.h