]> matita.cs.unibo.it Git - helm.git/commit
ENVSCRIPT and mathql_db_map.txt no longer in use.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 18 Feb 2004 16:26:35 +0000 (16:26 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 18 Feb 2004 16:26:35 +0000 (16:26 +0000)
commite3ae269f86ee78472cf7cd43f35cc203faf0333b
tree1fb8a0951b6dd3bd360d60a24b06d1da65f14b57
parentf90b82510f49539719a2e561519cca72a493334b
ENVSCRIPT and mathql_db_map.txt no longer in use.
helm/scripts/init.d/etc_default_helm_mowgli
helm/scripts/init.d/helm-draw-graph_mowgli
helm/scripts/init.d/helm-http-getter_mowgli
helm/scripts/init.d/helm-proof-checker_mowgli
helm/scripts/init.d/helm-search-engine_mowgli
helm/scripts/init.d/helm-tomcat_mowgli
helm/scripts/init.d/helm-uri-set-queue_mowgli
helm/scripts/init.d/helm-uwobo_mowgli
helm/scripts/init.d/mathql_db_map.txt [deleted file]