From ded3a0b12793fc8e463a4a3be9f62f54f734897e Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 27 Jun 2005 16:42:14 +0000
Subject: [PATCH] clear already exists

---
 helm/matita/matita.txt | 1 -
 1 file changed, 1 deletion(-)

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 4ff85a1aa..c9158ee93 100644
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -26,7 +26,6 @@ TODO
 - menu contestuale (tasto dx) nel sequent viewer          ->
 - controllo per script modificato o meno prima di uscire  ->
 - riattaccare hbugs (brrr...)                             -> Zack
-- tattica clear ?                                         -> Gares
 
 DONE
 - fare tornare a matitac -1 quando lo stato finale e' 
-- 
2.39.2