projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7891eee) | patch
Allow disks to come from build/ directory as well as current
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 6 Jul 2005 21:49:47 +0000 (21:49 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 6 Jul 2005 21:49:47 +0000 (21:49 +0000)
commit31a48f116ba391a08a4844eb407c43e0ba8f773f
tree682ca07e845b2c01c72dc05a9c0bf168745765b6tree | snapshot
parent7891eee6ec6f5db5dc0ab0a3b4790936bfffaabbcommit | diff
Allow disks to come from build/ directory as well as current
directory, by default.
src/utils/pintos diff | blob | history
Pintos public repository