From: Godmar Back <godmar@gmail.com>
Date: Mon, 8 Jan 2007 08:46:49 +0000 (+0000)
Subject: - removed @ref to "printf Reboots" since this no longer applies and the @anchor is... 
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=90053831bfef7cfa230cae40301f387ed213718c;hp=90053831bfef7cfa230cae40301f387ed213718c;p=pintos-anon

- removed @ref to "printf Reboots" since this no longer applies and the @anchor is gone
- fixed typo print -> printf
---