Remove the set-remain-on-exit option, it was always a hack and can now

be done with hooks instead.
This commit is contained in:
nicm
2016-10-13 21:37:03 +00:00
parent 4179b42424
commit 7a1a01feef
3 changed files with 0 additions and 22 deletions

View File

@@ -320,12 +320,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,