X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FRELATIONAL%2Froot;fp=helm%2Fsoftware%2Fmatita%2Fcontribs%2FRELATIONAL%2Froot;h=0000000000000000000000000000000000000000;hb=da0775e27b362e91ea1453a800bc403781cc2ca3;hp=eadc56b035efc8cfc6ea015f5e14eb5178977753;hpb=d9824956d9132109ed5f23380a0a1f9c5181d18a;p=helm.git

diff --git a/helm/software/matita/contribs/RELATIONAL/root b/helm/software/matita/contribs/RELATIONAL/root
deleted file mode 100644
index eadc56b03..000000000
--- a/helm/software/matita/contribs/RELATIONAL/root
+++ /dev/null
@@ -1 +0,0 @@
-baseuri=cic:/matita/RELATIONAL