]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/gTopLevel/gTopLevel.conf.xml.sample
fixed typo
[helm.git] / 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">