From: John Darrington <john@darrington.wattle.id.au>
Date: Fri, 25 Dec 2009 09:59:17 +0000 (+0100)
Subject: Remove obsolete file
X-Git-Tag: fc11-x64-build61~1
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5426ba1f8ac4954b20b7fee8817b88a7d28e5414;hp=5426ba1f8ac4954b20b7fee8817b88a7d28e5414;p=pspp-builds.git

Remove obsolete file
---