From: John Darrington Date: Tue, 28 Jul 2009 10:59:42 +0000 (+0200) Subject: remove unused return value X-Git-Tag: build37~21 X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=627d9064e04c3e76fcddf033cb2a47d13d40a98e;hp=627d9064e04c3e76fcddf033cb2a47d13d40a98e;p=pspp-builds.git remove unused return value ---