]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f607fe0) | patch
The searchengine now requires the mathql_db_map.txt.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2004 10:12:48 +0000 (10:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2004 10:12:48 +0000 (10:12 +0000)
commitb7276ca7a0ccdead4b3bf868e26e9a1f4f6f924f
treeddcef832932929c86714a7296f3d8983265a4fcatree | snapshot
parentf607fe07cf39edce4989711614139e00148612ddcommit | diff
The searchengine now requires the mathql_db_map.txt.
Added the mathql_db_map.txt file and the new environment variable
MATHQL_DB_MAP.
helm/scripts/init.d/etc_default_helm_mowgli diff | blob | history
helm/scripts/init.d/mathql_db_map.txt [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.