X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=8a798cf2aa38be74f995ad4044ab9c8e9cc424c7;hb=916d376c0868edf6d271a4fe9fdc96107f69002f;hp=4b08416536337319d80529e5e1e3b5d083d813a8;hpb=4de79b34b329d1da6cdeb145993d3efd911e2967;p=pspp-builds.git

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.