From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 11 Mar 2011 06:44:50 +0000 (-0800)
Subject: DELETE VARIABLES: Style fix.
X-Git-Tag: v0.7.7~40
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ea026a235eb11c9082696d0bb970096ccc6e48f6;hp=ea026a235eb11c9082696d0bb970096ccc6e48f6;p=pspp-builds.git

DELETE VARIABLES: Style fix.
---