projects / pintos-anon / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 5c9e017)
*** empty log message ***
authorBen Pfaff <blp@cs.stanford.edu>
Mon, 30 Aug 2004 17:47:38 +0000 (17:47 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Mon, 30 Aug 2004 17:47:38 +0000 (17:47 +0000)
src/userprog/.cvsignore [deleted file] patch | blob | history

diff --git a/src/userprog/.cvsignore b/src/userprog/.cvsignore
deleted file mode 100644 (file)
index 378eac2..0000000
--- a/src/userprog/.cvsignore
+++ /dev/null
@@ -1 +0,0 @@
-build
Pintos public repository