Bug fixed: one uri was not refreshed, causing divergence of the kernel!

[helm.git] / helm / software / components / binaries / transcript / transcript.conf.xml

diff --git a/helm/software/components/binaries/transcript/transcript.conf.xml b/helm/software/components/binaries/transcript/transcript.conf.xml
index d79636f3906d76769b3c5b4d8aaee842d16be9af..ba028de363481a9871453454a3703dbcb3474ccd 100644 (file)
--- a/helm/software/components/binaries/transcript/transcript.conf.xml
+++ b/helm/software/components/binaries/transcript/transcript.conf.xml
@@ -1,8 +1,7 @@
 <?xml version="1.0" encoding="utf-8"?>
 <helm_registry>
   <section name="transcript">
-    <key name="helm_dir">/home/fguidi/svn/software</key>
-    <key name="heading_path">matita/matita.ma.templ</key>
+    <key name="heading_path">matita.ma.templ</key>
     <key name="heading_lines">14</key>
   </section>
 </helm_registry>