From 404214b0ac99ca5e8b7599995e339857f893cb11 Mon Sep 17 00:00:00 2001
From: nicm <nicm>
Date: Sun, 15 Jan 2017 20:16:22 +0000
Subject: [PATCH] Remove unused quiet option.

---
 options-table.c | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/options-table.c b/options-table.c
index 92441ebe..b17f2b93 100644
--- a/options-table.c
+++ b/options-table.c
@@ -105,12 +105,6 @@ const struct options_table_entry options_table[] = {
 	  .default_num = 100
 	},
 
-	{ .name = "quiet",
-	  .type = OPTIONS_TABLE_FLAG,
-	  .scope = OPTIONS_TABLE_SERVER,
-	  .default_num = 0
-	},
-
 	{ .name = "set-clipboard",
 	  .type = OPTIONS_TABLE_FLAG,
 	  .scope = OPTIONS_TABLE_SERVER,