From: Ben Pfaff Date: Fri, 31 Dec 2004 23:13:46 +0000 (+0000) Subject: Clarify. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ad0ef710ad4478e6e8c8f85c6e3a98acdf4f17c3;hp=ad0ef710ad4478e6e8c8f85c6e3a98acdf4f17c3;p=pintos-anon Clarify. ---