From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 3 Apr 2006 21:24:09 +0000 (+0000)
Subject: Ignore setitimer-helper.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=52c038240d5fa59e4ac230e5fc7587aec328e5d3

Ignore setitimer-helper.
---

diff --git a/src/utils/.cvsignore b/src/utils/.cvsignore
new file mode 100644
index 0000000..b0175f5
--- /dev/null
+++ b/src/utils/.cvsignore
@@ -0,0 +1 @@
+setitimer-helper