diff -r 3b24a0bd41ee -r fab0b8a61dcb .gitignore
--- a/.gitignore	Wed Jan 07 17:17:10 2009 +0000
+++ b/.gitignore	Wed Aug 20 18:57:52 2014 +0100
@@ -32,3 +32,5 @@
 *~
 
 /link-warning.h
+/arg-nonnull.h
+/warn-on-use.h