X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fthreads%2Freview.txt;h=08585b56f60ccd268bec98b1088b90cf81c0d723;hb=0b03e95ba4a5ca2c936a98d77caee8f6f4087529;hp=62c5d81573f27106a73849f8265f599cdbb2ad4b;hpb=420b9b42eb65db5b619efa79cb613f01fdc408cb;p=pintos-anon diff --git a/grading/threads/review.txt b/grading/threads/review.txt index 62c5d81..08585b5 100644 --- a/grading/threads/review.txt +++ b/grading/threads/review.txt @@ -14,7 +14,6 @@ DESIGN [[/40]] -------------- -20 Missing or far too brief DESIGNDOC - -2 Troublesome or unexplained dependencies -2 Changing interfaces, each (max -6) DESIGNDOC (per problem):