.gitignore
changeset 434 2c25dc58c6d2
parent 323 3b24a0bd41ee
child 452 06885e558546
     1.1 --- a/.gitignore	Wed Jan 07 17:17:10 2009 +0000
     1.2 +++ b/.gitignore	Tue Mar 27 21:29:53 2012 +0100
     1.3 @@ -32,3 +32,5 @@
     1.4  *~
     1.5  
     1.6  /link-warning.h
     1.7 +/arg-nonnull.h
     1.8 +/warn-on-use.h