Delete task for replacing finder.el with Info manual.

diff --git a/etc/TODO b/etc/TODO
index 06d95b442b0f8fa3de9cd0dd7d5e1e676db35832..5fe795bf67f98375711fd286fc363fd98263504e 100644 (file)
--- a/etc/TODO
+++ b/etc/TODO
@@ -370,10 +370,6 @@ typically due to pilot errors and should thus be in debug-ignored-errors.
 ** Give desktop.el a feature to switch between different named
   desktops.
 
-** Replace finder.el with something that generates an Info file
-  which gives the same information through a menu structure.  [Dave
-  Love started on this.]
-
 ** Add a cpio mode, more or less like tar mode.
 
 ** Save undo information in special temporary files, and reload it