X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=server.ggo;h=6d824152d23165df92886d3059d0e6523cf339c1;hp=95e81b37839a76fcc0428492579e8e199fa58c60;hb=3e3b0dce3c7b301392f0a4fcbf8ac72bbc76b141;hpb=f010019b9e89b814699bd6a94edaa8cde9cbd45c;ds=sidebyside

diff --git a/server.ggo b/server.ggo
index 95e81b37..6d824152 100644
--- a/server.ggo
+++ b/server.ggo
@@ -124,14 +124,6 @@ option "announce_time" A
 	optional
 
 
-option "selector" S
-#~~~~~~~~~~~~~~~~~~
-
-"(default=random)"
-
-	string typestr="name"
-	optional
-
 #############################
 section "audio file selector"
 #############################