...

[helm.git] / helm / matita / matita.txt

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 6b0102d1f37bee74d499ed462ca5e325ea6d444c..d31ac70b824183e05a7f3c8e3d35ec473a0764b4 100644 (file)
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -88,6 +88,8 @@ TODO
   - riattaccare hbugs (brrr...) -> Zack
 
   GUI LOGICA
+  - matitaclean (e famiglia) non cancellano le directory vuote
+    (e per giunta il cicbrowser le mostra :-)
   - codice di inizializzazione di matita, matitac, matitatop replicato e non
     in sync
   - fattorizzare codice fra MatitaEngine e DisambiguatePp (dove, fra l'altro,