From: John Darrington <john@darrington.wattle.id.au>
Date: Thu, 16 Oct 2008 11:43:43 +0000 (+0800)
Subject: New .gitignore file
X-Git-Tag: v0.7.1~50^2~21^2
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7ca34d9f97896c6568445b4449d9958bd68860d4;p=pspp-builds.git

New .gitignore file
---

diff --git a/src/language/tests/.gitignore b/src/language/tests/.gitignore
new file mode 100644
index 00000000..61e8b4e1
--- /dev/null
+++ b/src/language/tests/.gitignore
@@ -0,0 +1 @@
+check-model.c