X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=server.ggo;h=4f6e05b290a2d0ea4cb1c4f61032124e8666b834;hp=2c3ff1d0970258d1ddce7471ce4222f87cf6d508;hb=cbef31a5d0b06802f55f6de4867e27cc6f92fd79;hpb=2e8b7f42a30ebe41c862cc603c8f746b1e202479;ds=sidebyside

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" -