projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0079645) | 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)
commitfe97613eb0d912354b34a824f2db17391bd4de90
tree0c8323012e8ba455bc6404b6165af25d685baa8etree | snapshot
parent007964552c968c55f62a289b8d8eb48d1f4945d9commit | diff
Clarify "invalid PID".
Thanks to "Kevin Hart" <kevin.hart@hp.com> for question.
doc/userprog.texi diff | blob | history
Pintos public repository