From: John Darrington <john@darrington.wattle.id.au>
Date: Wed, 30 Dec 2009 09:30:18 +0000 (+0100)
Subject: Changes made by gnulib-tool
X-Git-Tag: fc11-i386-build69~1
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=375a1fd3adcb23eb83ed6a6317ce0526f43964b3;p=pspp-builds.git

Changes made by gnulib-tool
---

diff --git a/.gitignore b/.gitignore
index ad89bf36..f8c59fe0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -39,3 +39,5 @@ gitlog-to-changelog
 *.deps
 *.la
 *.libs
+/arg-nonnull.h
+/unused-parameter.h