From: John Darrington Date: Mon, 27 Jul 2009 09:06:51 +0000 (+0200) Subject: Removed unnecessary variables X-Git-Tag: build37~37 X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=da8273b1311e75a7d2fb3a2ce0baa1ff4c07775f;hp=da8273b1311e75a7d2fb3a2ce0baa1ff4c07775f;p=pspp-builds.git Removed unnecessary variables ---