X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=c24b805ae8a18a367325e18fd5268672480a848c;hb=dde5a3c946871b4aab3d6b436438dd8df11db261;hp=ad89bf36e4884d85df1c47754057f8b2e1635d28;hpb=cb586666724d5fcbdb658ce471b85484f0a7babe;p=pspp-builds.git diff --git a/.gitignore b/.gitignore index ad89bf36..c24b805a 100644 --- a/.gitignore +++ b/.gitignore @@ -39,3 +39,6 @@ gitlog-to-changelog *.deps *.la *.libs +/arg-nonnull.h +/package.m4 +/unused-parameter.h