From 3e3b0dce3c7b301392f0a4fcbf8ac72bbc76b141 Mon Sep 17 00:00:00 2001 From: Andre Noll Date: Thu, 27 Dec 2007 15:13:40 +0100 Subject: [PATCH 1/1] server.ggo: Remove unused selector option. --- server.ggo | 8 -------- 1 file changed, 8 deletions(-) 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" ############################# -- 2.39.2