X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.conf.xml;fp=helm%2Fmatita%2Fmatita.conf.xml;h=7f7b7b8e1ecf46791d92f8c32c0655d434a45a49;hb=f28480139ee72d092a9405619c3bdf6d4ff155ee;hp=0000000000000000000000000000000000000000;hpb=da85bc7d139566aa819c8e922d01b2e476ff6990;p=helm.git

diff --git a/helm/matita/matita.conf.xml b/helm/matita/matita.conf.xml
new file mode 120000
index 000000000..7f7b7b8e1
--- /dev/null
+++ b/helm/matita/matita.conf.xml
@@ -0,0 +1 @@
+matita.conf.xml.devel
\ No newline at end of file