projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ce986c) | patch
Change -nv to -v, -ns to -s, for consistency.
authorBen Pfaff <blp@cs.stanford.edu>
Sun, 26 Sep 2004 02:47:32 +0000 (02:47 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Sun, 26 Sep 2004 02:47:32 +0000 (02:47 +0000)
commit8c4ae693392eefac69201fd0e518ec272fe6ad25
tree2501aac96876f131b7a095fdc5116e169d56fb81tree | snapshot
parent0ce986c23de0e197709dbd77e461e26f1532e518commit | diff
Change -nv to -v, -ns to -s, for consistency.
Remove fixed limits on make-disk.
Make -m same as --mem(ory).
src/utils/pintos diff | blob | history
Pintos public repository