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.tuebingen.mpg.de/?p=paraslash.git;a=commitdiff_plain;h=3e3b0dce3c7b301392f0a4fcbf8ac72bbc76b141;hp=f010019b9e89b814699bd6a94edaa8cde9cbd45c

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