added patch for the configuration file

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

diff --git a/pkg-matita/trunk/debian/compat b/pkg-matita/trunk/debian/compat
new file mode 100644 (file)
index 0000000..7ed6ff8
--- /dev/null
+++ b/pkg-matita/trunk/debian/compat
@@ -0,0 +1 @@
+5