Deal with update `pintos' script.
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 24 Nov 2004 00:31:39 +0000 (00:31 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 24 Nov 2004 00:31:39 +0000 (00:31 +0000)
commit3403a18c29c58560ea393faf81d8d341c0cda503
tree83d940e3f46f9c13a45c638124159c160e3104dc
parentbfc014623e8ece5a3258f83b00a9948b73403a44
Deal with update `pintos' script.
grading/userprog/prep-disk
grading/vm/prep-disk