]> matita.cs.unibo.it Git - helm.git/commitdiff
fixed typo
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 17 Feb 2004 12:47:21 +0000 (12:47 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 17 Feb 2004 12:47:21 +0000 (12:47 +0000)
helm/gTopLevel/gTopLevel.conf.xml.sample

index e8f1a5c58a6e286ff44369e2a20a9399277c2ee8..9bc696dc56471d9e354952dea27f36008314f0c5 100644 (file)
@@ -12,7 +12,7 @@
 
   <!-- From now on it is unlikely that something needs to be changed -->
   <section name="local_library">
-    <key name="dir">file://$(users_settings_per_user_work_directory)/objects</key>
+    <key name="dir">file://$(users_settings.per_user_work_directory)/objects</key>
     <key name="url">$(local_library.dir)</key>
   </section>
   <section name="getter">