X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=8a798cf2aa38be74f995ad4044ab9c8e9cc424c7;hb=3a3c02e077062b2b089d666a26e69c3e038e16c2;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.