1 files changed, 0 insertions, 2 deletions

diff --git a/todo b/todo
index 395d2fe4..846da068 100644
--- a/todo
+++ b/todo
@@ -451,5 +451,3 @@ B According to the documentation of font-lock for Emacs 20.2, it
 B add links *from* Coq, Lego & Isabelle Web pages
 
 B add instructions for byte compilation
-
-B update screenshot so that it displays most recent icons
\ No newline at end of file