- renamed ocaml/ to components/

[helm.git] / helm / matita / matita.conf.xml

diff --git a/helm/matita/matita.conf.xml b/helm/matita/matita.conf.xml
deleted file mode 120000 (symlink)
index 7f7b7b8..0000000
--- a/helm/matita/matita.conf.xml
+++ /dev/null
@@ -1 +0,0 @@
-matita.conf.xml.devel
\ No newline at end of file