projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 408d2d3) | 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)
commit22d909f9b24d2a1337d6d858e7a0bc02b87aff50
tree99d1b411808a615dc1fb7b1ad10b442cf2d712fatree | snapshot
parent408d2d36f738068c2363809e1b4742b74a350ad8commit | 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