diff -r 3b24a0bd41ee -r 0a5e583393e1 .gitignore
--- a/.gitignore	Wed Jan 07 17:17:10 2009 +0000
+++ b/.gitignore	Tue Sep 09 15:27:12 2014 +0100
@@ -32,3 +32,5 @@
 *~
 
 /link-warning.h
+/arg-nonnull.h
+/warn-on-use.h