From: Ben Pfaff Date: Wed, 21 Dec 2005 03:21:33 +0000 (+0000) Subject: Revise "Design" description. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2068d578c8ffa0881e903658cd7239e5568146f2;hp=2068d578c8ffa0881e903658cd7239e5568146f2;p=pintos-anon Revise "Design" description. Based on Ben Sapp comments. ---