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)
commit3a7af748932b8be7c90331f9b322bbaa6e5feb3e
tree931dc8076493584f926cd30dfe9a76a9953ef604
parent1b47a133b4d374666143ad9636b3270ef79757f0
Deal with update `pintos' script.
grading/userprog/prep-disk
grading/vm/prep-disk