X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=d5b588430c5a44886ed3c9ba553ee6b405fbb40f;hb=685407ad62911e5edb1ec093a01ec9e46563af44;hp=3a95561ccb3ea72b0ce57803267216285b04aeb1;hpb=b4a6c30a471d7d37c901dea56e68d751d1578e90;p=pspp-builds.git diff --git a/.gitignore b/.gitignore index 3a95561c..d5b58843 100644 --- a/.gitignore +++ b/.gitignore @@ -15,15 +15,12 @@ config.sub configure depcomp gl -gl/ install-reloc install-sh intl -intl/ link-warning.h ltmain.sh m4 -m4/ mdate-sh missing mkinstalldirs @@ -32,5 +29,4 @@ potfiles.tmp pref.h reloc-ldflags stamp-h1 -sysdeps/ texinfo.tex