From: Andre Noll <maan@systemlinux.org>
Date: Thu, 27 Dec 2007 14:13:40 +0000 (+0100)
Subject: server.ggo: Remove unused selector option.
X-Git-Tag: v0.3.0~30
X-Git-Url: http://git.tue.mpg.de/?a=commitdiff_plain;h=3e3b0dce3c7b301392f0a4fcbf8ac72bbc76b141;p=paraslash.git

server.ggo: Remove unused selector option.
---

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