X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=server.ggo;h=4f6e05b290a2d0ea4cb1c4f61032124e8666b834;hp=2c3ff1d0970258d1ddce7471ce4222f87cf6d508;hb=1404c0dbc7265e42ac81fc1664c724630c3454e4;hpb=0f001f6812fb10698f6f0471740242faf7269291

diff --git a/server.ggo b/server.ggo
index 2c3ff1d0..4f6e05b2 100644
--- a/server.ggo
+++ b/server.ggo
@@ -134,8 +134,8 @@ option "selector" S
 
 
 
-section "mysql selector:"
-#~~~~~~~~~~~~~~~~~~~~~~~~
+section "mysql selector"
+#~~~~~~~~~~~~~~~~~~~~~~~
 
 
 option "mysql_host" -