X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FgTopLevel.conf.xml.sample;h=1b3836c70a0348862e2b83e63aaee6bb48a5e06d;hb=62792f5bfe558e6ba0e52e4e51841f4bc02a960a;hp=f955b5036e18874a8048ef955bcc52b952335eab;hpb=c911fe913e84cda448e2f0df20c1e023f6f8043d;p=helm.git
diff --git a/helm/gTopLevel/gTopLevel.conf.xml.sample b/helm/gTopLevel/gTopLevel.conf.xml.sample
index f955b5036..1b3836c70 100644
--- a/helm/gTopLevel/gTopLevel.conf.xml.sample
+++ b/helm/gTopLevel/gTopLevel.conf.xml.sample
@@ -14,11 +14,16 @@
mathql_db_map.txt
dbname=mowgli host=mowgli.cs.unibo.it user=helm password=awH21Un
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+