]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/gTopLevel/script.sh
renamed modules so that they are more consistent with other cic modules
[helm.git] / helm / gTopLevel / script.sh
index 5592e25d856058ff39d47027fec9e0cfdffdf8dd..848103c32b7efc1b7305ceb77004535d01868462 100755 (executable)
@@ -11,7 +11,6 @@ export GTOPLEVEL_INNERTYPESFILE=/public/helm_library/innertypes
 export GTOPLEVEL_CONSTANTTYPEFILE=/public/helm_library/constanttype
 export GTOPLEVEL_ENVIRONMENTFILE=/public/helm_library/environment
 export MATHQL_DB_MAP=/home/zack/helm/mathql_db_map.txt
-export POSTGRESQL_CONNECTION_STRING="dbname=mowgli"
 
 export HELM_TMP_DIR=/tmp
 unset http_proxy