diff options
Diffstat (limited to 'options-table.c')
| -rw-r--r-- | options-table.c | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/options-table.c b/options-table.c index bf5e2459..f74b1b10 100644 --- a/options-table.c +++ b/options-table.c @@ -319,12 +319,6 @@ const struct options_table_entry options_table[] = { .default_num = 500 }, - { .name = "set-remain-on-exit", - .type = OPTIONS_TABLE_FLAG, - .scope = OPTIONS_TABLE_SESSION, - .default_num = 0 - }, - { .name = "set-titles", .type = OPTIONS_TABLE_FLAG, .scope = OPTIONS_TABLE_SESSION, |