From: Ben Pfaff <blp@gnu.org>
Date: Tue, 2 Aug 2005 17:25:04 +0000 (+0000)
Subject: Revise.
X-Git-Tag: v0.4.0~4
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=897a260ef7a8b954d56698cc40241a3197127505;p=pspp-builds.git

Revise.
---

diff --git a/TODO b/TODO
index 4b084165..8a798cf2 100644
--- a/TODO
+++ b/TODO
@@ -1,4 +1,6 @@
-Time-stamp: <2005-07-28 21:45:15 blp>
+Time-stamp: <2005-08-02 10:24:25 blp>
+
+Get rid of need for GNU diff in `make check'.
 
 Get rid of need for file name canonicalization.