From: Simon Josefsson <simon@josefsson.org>
Date: Sat, 17 Mar 2007 12:11:35 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1e36672cdc144acf2de0a9efa26444615170ef0a;p=pspp

*** empty log message ***
---

diff --git a/build-aux/.cvsignore b/build-aux/.cvsignore
new file mode 100644
index 0000000000..19cdb3bac7
--- /dev/null
+++ b/build-aux/.cvsignore
@@ -0,0 +1,8 @@
+config.guess
+config.sub
+depcomp
+install-sh
+ltmain.sh
+mdate-sh
+missing
+texinfo.tex