release snapshot

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

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