X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fdama%2Fdama%2Froot;h=c12f54b7e208e5626353d2436440fbab8bbed16e;hb=d309714a7f00acfae311fa24612e57e9be085ff3;hp=c57405b9448b54c4919bd8f57d79fcc38415ac43;hpb=d4302f43737034a69bd475e5f46e8d126229375e;p=helm.git

diff --git a/helm/software/matita/contribs/dama/dama/root b/helm/software/matita/contribs/dama/dama/root
index c57405b94..c12f54b7e 100644
--- a/helm/software/matita/contribs/dama/dama/root
+++ b/helm/software/matita/contribs/dama/dama/root
@@ -1 +1 @@
-baseuri=cic:/matita/
+baseuri=cic:/matita/dama