From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 19 Oct 2004 22:44:31 +0000 (+0000)
Subject: Improve.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=3a99831e21877902380dae2f39e1059ecf941db8;hp=3a99831e21877902380dae2f39e1059ecf941db8;p=pintos-anon

Improve.
---