projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 09bbcd0) | patch
-u option should be -ul.
authorBen Pfaff <blp@cs.stanford.edu>
Mon, 6 Mar 2006 17:14:40 +0000 (17:14 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Mon, 6 Mar 2006 17:14:40 +0000 (17:14 +0000)
commitf7bc12fb5e4c3eb3ebb633f99b8b266622fc57f7
tree3020404c6922913cb498c57c9265246c70ef5719tree | snapshot
parent09bbcd059d4ce05bf6b8da829795409e2da9a899commit | diff
-u option should be -ul.
Thanks to Josh Wiseman <joshwise@stanford.edu> for reporting this bug.
doc/vm.texi diff | blob | history
Pintos public repository