projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c02b0e) | 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)
commit69e96c5a413cee63cdd7108e2c27900e8afa862c
tree68cdc4e0b1174776b8a951baf0232c0bea6c3348tree | snapshot
parent0c02b0e2b28dded1f87933e058af4c6c2ff3fa7dcommit | 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