# HG changeset patch
# User Juri Linkov <juri@jurta.org>
# Date 1247951055 0
# Node ID ecefdd6eb86662d768542dd0d07a5e649b4477b2
# Parent  e7050deb1cce5d3ca40d5e5984848fe9a5746887
Delete task for replacing finder.el with Info manual.

diff -r e7050deb1cce -r ecefdd6eb866 etc/TODO
--- a/etc/TODO	Sat Jul 18 21:01:49 2009 +0000
+++ b/etc/TODO	Sat Jul 18 21:04:15 2009 +0000
@@ -370,10 +370,6 @@
 ** 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