From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 6 Sep 2004 05:27:22 +0000 (+0000)
Subject: REmove unwanted files.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d0474cff37a9d64bf2bc05604b30cc87e60590ff;p=pintos-anon

REmove unwanted files.
---

diff --git a/src/filesys/build/.cvsignore b/src/filesys/build/.cvsignore
deleted file mode 100644
index 060f80a..0000000
--- a/src/filesys/build/.cvsignore
+++ /dev/null
@@ -1,7 +0,0 @@
-*.d
-diskimage.bin
-loader.bin
-kernel.bin
-kernel.bin.tmp
-kernel.lds.s
-intr-stubs.S
diff --git a/src/threads/build/.cvsignore b/src/threads/build/.cvsignore
deleted file mode 100644
index 060f80a..0000000
--- a/src/threads/build/.cvsignore
+++ /dev/null
@@ -1,7 +0,0 @@
-*.d
-diskimage.bin
-loader.bin
-kernel.bin
-kernel.bin.tmp
-kernel.lds.s
-intr-stubs.S
diff --git a/src/userprog/build/.cvsignore b/src/userprog/build/.cvsignore
deleted file mode 100644
index c3a246a..0000000
--- a/src/userprog/build/.cvsignore
+++ /dev/null
@@ -1,7 +0,0 @@
-*.d
-diskimage.bin
-loader.bin
-kernel.bin
-kernel.bin.tmp
-intr-stubs.S
-kernel.lds.s