server.ggo: Remove unused selector option.

diff --git a/server.ggo b/server.ggo
index 95e81b37839a76fcc0428492579e8e199fa58c60..6d824152d23165df92886d3059d0e6523cf339c1 100644 (file)
--- 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"
 #############################