From: Ben Pfaff Date: Sat, 10 Jun 2006 20:09:25 +0000 (+0000) Subject: Capitalize QEMU properly. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fd24c2387f5cf1b802e885c7430ba1f1bb852e13;hp=fd24c2387f5cf1b802e885c7430ba1f1bb852e13;p=pintos-anon Capitalize QEMU properly. From chris@seberino.org. ---