From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 26 Jan 2010 17:12:50 +0000 (-0800)
Subject: doc: Fix references to power_off() to refer to correct function and file name.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b9713669e0613652b1ff53601345decf5584ab23;hp=b9713669e0613652b1ff53601345decf5584ab23;p=pintos-anon

doc: Fix references to power_off() to refer to correct function and file name.

Reported by Nathaniel Hardison <hardison@stanford.edu>.
---