removing old contribs

[helm.git] / matitaB / matita / contribs / RELATIONAL / root

diff --git a/matitaB/matita/contribs/RELATIONAL/root b/matitaB/matita/contribs/RELATIONAL/root
deleted file mode 100644 (file)
index eadc56b..0000000
--- a/matitaB/matita/contribs/RELATIONAL/root
+++ /dev/null
@@ -1 +0,0 @@
-baseuri=cic:/matita/RELATIONAL