From 8b77d2bf53017823f11a2a2427b0ca191c5daa37 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 29 Aug 2005 11:20:40 +0000
Subject: [PATCH] ...

---
 helm/matita/matita.txt | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 7fa0e72d0..5ccfb2b95 100644
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -73,6 +73,11 @@ TODO
   - riattaccare hbugs (brrr...) -> Zack
 
   GUI LOGICA
+  - ???????????? Perche'?
+    mowgli:~# du -s /var/lib/mysql/mowgli/
+    250696  /var/lib/mysql/mowgli/
+    mowgli:~# du -s /var/lib/mysql/matita/
+    455096  /var/lib/mysql/matita/
   - integrare nuova contrib ferruccio nel bench notturno; guardare bug
     generazione principi di eliminazione
   - bug "Warn:  baseuri cic:/matita/higher_order_defs/ordering is not empty"
-- 
2.39.2