From: Ben Pfaff <blp@gnu.org>
Date: Sat, 15 Jul 2006 22:39:18 +0000 (+0000)
Subject: Improve comment.
X-Git-Tag: v0.6.0~757
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3af5716f625f5a1e5175a957d734270dae99e8aa;hp=3af5716f625f5a1e5175a957d734270dae99e8aa;p=pspp-builds.git

Improve comment.
---