diff -r 3b24a0bd41ee -r cf499fd51df7 .gitignore
--- a/.gitignore	Wed Jan 07 17:17:10 2009 +0000
+++ b/.gitignore	Sat Aug 23 16:07:09 2014 +0100
@@ -32,3 +32,5 @@
 *~
 
 /link-warning.h
+/arg-nonnull.h
+/warn-on-use.h