Revise.

diff --git a/TODO b/TODO
index 4b08416536337319d80529e5e1e3b5d083d813a8..8a798cf2aa38be74f995ad4044ab9c8e9cc424c7 100644 (file)
--- 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.