From: Ben Pfaff <blp@gnu.org>
Date: Thu, 16 Aug 2007 14:42:15 +0000 (+0000)
Subject: Delete files that should never have been checked in.
X-Git-Tag: v0.6.0~303
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=48e91922e3f99b8ed01631eee69b51eea35cc4bd;hp=48e91922e3f99b8ed01631eee69b51eea35cc4bd;p=pspp-builds.git

Delete files that should never have been checked in.
---