From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 31 Dec 2004 23:28:17 +0000 (+0000)
Subject: Wording.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3c732bafbe5c72567659dfc0f397293027617c50;hp=3c732bafbe5c72567659dfc0f397293027617c50;p=pintos-anon

Wording.
---