X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=pkg-matita%2Ftrunk%2Fdebian%2FTODO;fp=pkg-matita%2Ftrunk%2Fdebian%2FTODO;h=6de87c41e17df7395203edc7bf10eae33bfdc0ae;hb=3e4f0587ac2f1136c4f8314e8e2f8447fe4743e6;hp=0000000000000000000000000000000000000000;hpb=42f2dc48b4fef5b404f406bf512d6a0cde35c067;p=helm.git

diff --git a/pkg-matita/trunk/debian/TODO b/pkg-matita/trunk/debian/TODO
new file mode 100644
index 000000000..6de87c41e
--- /dev/null
+++ b/pkg-matita/trunk/debian/TODO
@@ -0,0 +1,2 @@
+innertypes
+destruct è ok?