From: Ben Pfaff Date: Tue, 20 Dec 2005 20:44:39 +0000 (+0000) Subject: Clarifications. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=47009e4e26e13451ef152a57f95ad335ea261f87;hp=47009e4e26e13451ef152a57f95ad335ea261f87;p=pintos-anon Clarifications. Add FAQ for how to run tests. ---