From e9e0f2822f9b98c1e604219329c4dff99bca5603 Mon Sep 17 00:00:00 2001
From: Juri Linkov <juri@jurta.org>
Date: Sat, 18 Jul 2009 21:04:15 +0000
Subject: [PATCH] Delete task for replacing finder.el with Info manual.

---
 etc/TODO | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/etc/TODO b/etc/TODO
index 06d95b442b0..5fe795bf67f 100644
--- 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
-- 
2.39.2