From: John Darrington <john@darrington.wattle.id.au>
Date: Mon, 27 Jul 2009 10:58:06 +0000 (+0200)
Subject: Removed unused function
X-Git-Tag: build37~28
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=42710eca56d40ba44bd80e52b42d4883b59291c0;hp=42710eca56d40ba44bd80e52b42d4883b59291c0;p=pspp-builds.git

Removed unused function
---