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: sav-api~409^2~4
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=375a1fd3adcb23eb83ed6a6317ce0526f43964b3;p=pspp

Changes made by gnulib-tool
---

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