From 4df2f7d7466c5b6c12b6d078fea54d783ca4c4a8 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 16 Nov 2007 18:36:44 +0000
Subject: [PATCH] ...

---
 pkg-matita/trunk/debian/TODO.Debian | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 pkg-matita/trunk/debian/TODO.Debian

diff --git a/pkg-matita/trunk/debian/TODO.Debian b/pkg-matita/trunk/debian/TODO.Debian
new file mode 100644
index 000000000..241896b13
--- /dev/null
+++ b/pkg-matita/trunk/debian/TODO.Debian
@@ -0,0 +1,5 @@
+- manpages have wrong patch for conffile
+- hide:
+  - publish
+  - hbugs in cicbrowser
+  - light bulb
-- 
2.39.2