From b7209db785ccd5e68ecc144f628cf7593a215ede Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Sep 2001 12:11:59 +0000
Subject: Updating branch

---
 todo | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'todo')

diff --git a/todo b/todo
index bc3f6bca..014e0701 100644
--- a/todo
+++ b/todo
@@ -46,7 +46,7 @@ X (Low)		e.g. probably not worth spending time on
       processing of files in major or auxiliary file types.
       E.g. twelf ACL2
 
-*** B Move 3.3 over to new better designed parsing function mechanism.
+*** B Move over to new better designed parsing function mechanism.
 
 *** C ChangeLog generation still not right.  
       Suggested fix: use the prefix that rcs2log generates, without prepending.
-- 
cgit v1.2.3