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

diff --git a/TODO b/TODO
index 4b08416536..8a798cf2aa 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.