removing old contribs

[helm.git] / matita / matita / contribs / ONAG / root

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