projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2f3fdb6) | patch
Fix summary.
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Jul 2006 01:14:13 +0000 (01:14 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Jul 2006 01:14:13 +0000 (01:14 +0000)
commitfadbce2938abee96b8a80734b2ead5bbfc9491bc
tree401a0a3a842a9054940fe2c1c932d1cc1b0213c5tree | snapshot
parent2f3fdb6288cc53ed556319c0c8d9845165f2f0b9commit | diff
Fix summary.
Thanks to Samanth Lingampalli <samanthl@stanford.edu> and Haobo Xu
<haoboxu@stanford.edu> for input.
doc/44bsd.texi diff | blob | history
Pintos public repository