X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Ftranscript%2Ftranscript.conf.xml;h=ba028de363481a9871453454a3703dbcb3474ccd;hb=db235934efa41a0f38e79747f6db4f468367410b;hp=d79636f3906d76769b3c5b4d8aaee842d16be9af;hpb=c5e25191f05bb2662fc738bfb2742eb03b941510;p=helm.git diff --git a/helm/software/components/binaries/transcript/transcript.conf.xml b/helm/software/components/binaries/transcript/transcript.conf.xml index d79636f39..ba028de36 100644 --- a/helm/software/components/binaries/transcript/transcript.conf.xml +++ b/helm/software/components/binaries/transcript/transcript.conf.xml @@ -1,8 +1,7 @@
- /home/fguidi/svn/software - matita/matita.ma.templ + matita.ma.templ 14