Update name to Pintos.
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 8 Sep 2004 00:08:35 +0000 (00:08 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 8 Sep 2004 00:08:35 +0000 (00:08 +0000)
commitd0d14ca50fbac167253e1e1d8d806bfd749a5e8a
treee19f9c6e8468619f5cce8e2efe234ac24f8b4301
parent8de1d4825919a0daf905026552916e59aa4c8117
Update name to Pintos.
src/threads/init.c