projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 12d423a) | patch
doc: Fix references to power_off() to refer to correct function and file name.
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 26 Jan 2010 17:12:50 +0000 (09:12 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 26 Jan 2010 17:13:01 +0000 (09:13 -0800)
commitb9713669e0613652b1ff53601345decf5584ab23
treebe0b0c80ae8a7f387503de710d46df51ea2a052ctree | snapshot
parent12d423a1973d59006cd7ffbf8b71cd7409d04703commit | diff
doc: Fix references to power_off() to refer to correct function and file name.

Reported by Nathaniel Hardison <hardison@stanford.edu>.
doc/reference.texi diff | blob | history
doc/userprog.texi diff | blob | history
Pintos public repository