ref: 7dcc3baab70dc3812d3a7bbc5d0a7f5a6eaf6eb7
parent: 1bce91f723f98ccb3e5dc34262ee1efe56b21350
author: cancel <cancel@cancel.fm>
date: Mon Jan 27 02:31:47 EST 2020
Cleanup
--- a/tui_main.c
+++ b/tui_main.c
@@ -3401,7 +3401,6 @@
"interactively\n",
tui_options[longindex].name);
exit(1);
- break;
case Argopt_osc_deprecated:
fprintf(
stderr,
@@ -3408,7 +3407,6 @@
"Options --osc-server and --osc-port have been removed.\n"
"Instead, set the OSC server and port from within the ORCA menu.\n");
exit(1);
- break;
}
}
if (optind == argc - 1) {