aboutsummaryrefslogtreecommitdiffhomepage
path: root/twelf
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2002-08-29 09:17:10 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2002-08-29 09:17:10 +0000
commit7900815696e0736cab69b7fb90f240d98786b432 (patch)
treea9c7b7a8d7fb973e20e865047ce91414fd79f1b3 /twelf
parent4c0e7cbefbc3f5badb482fca9a5ad3b34052a641 (diff)
Updated.
Diffstat (limited to 'twelf')
-rw-r--r--twelf/twelf.el2
1 files changed, 1 insertions, 1 deletions
diff --git a/twelf/twelf.el b/twelf/twelf.el
index 44b84357..ad2d9ace 100644
--- a/twelf/twelf.el
+++ b/twelf/twelf.el
@@ -7,7 +7,7 @@
;; $Id$
;;
;;
-;; TODO before 3.2:
+;; TODO:
;; Info doc menu entry
;; X-Symbol upgrade/test? Mule XE better?
;;