diff -r 3b24a0bd41ee -r 457307a3966b .gitignore
--- a/.gitignore	Wed Jan 07 17:17:10 2009 +0000
+++ b/.gitignore	Fri Oct 03 12:24:10 2014 +0100
@@ -32,3 +32,5 @@
 *~
 
 /link-warning.h
+/arg-nonnull.h
+/warn-on-use.h