xxx

[helm.git] / pkg-matita / trunk / debian / TODO

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