From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 20 Dec 2005 20:45:41 +0000 (+0000)
Subject: Ignore *.d.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9c39e6d66e02b1214711e18c51be86f5c5dceaf2;p=pintos-anon

Ignore *.d.
---

diff --git a/src/examples/lib/.cvsignore b/src/examples/lib/.cvsignore
index e69de29..a438335 100644
--- a/src/examples/lib/.cvsignore
+++ b/src/examples/lib/.cvsignore
@@ -0,0 +1 @@
+*.d
diff --git a/src/examples/lib/user/.cvsignore b/src/examples/lib/user/.cvsignore
new file mode 100644
index 0000000..a438335
--- /dev/null
+++ b/src/examples/lib/user/.cvsignore
@@ -0,0 +1 @@
+*.d