X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fthreads%2Freview.txt;h=08585b56f60ccd268bec98b1088b90cf81c0d723;hb=1b719c2f3cf8fa5bd7a110345a34e135a790052c;hp=62c5d81573f27106a73849f8265f599cdbb2ad4b;hpb=1fcf0ae1568b7a74388ba1083865b403f378361d;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):