projects / pintos-anon / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
Add more tests.
[pintos-anon] / grading / userprog / .cvsignore
diff --git a/grading/userprog/.cvsignore b/grading/userprog/.cvsignore
index a4383358ec72fb4d15f30791cb5265a6e06c5416..73d1273bd0d8c68e382a1564159f942a19d67e87 100644 (file)
--- a/grading/userprog/.cvsignore
+++ b/grading/userprog/.cvsignore
@@ -1 +1,2 @@
 *.d
+*.dsk
Pintos public repository