projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf38311) | patch
Clarify "invalid PID".
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 21 Dec 2005 01:00:32 +0000 (01:00 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 21 Dec 2005 01:00:32 +0000 (01:00 +0000)
commita152145f88e7dcc85c748c1a8e44a55f7a2a05f6
tree0d847db7f07020a5d16c9d0765f9732950bad6e3tree | snapshot
parentbf38311a1c9b25090e92c3847f32a3dc984dac08commit | diff
Clarify "invalid PID".
Thanks to "Kevin Hart" <kevin.hart@hp.com> for question.
doc/userprog.texi diff | blob | history
Pintos public repository