diff options
Diffstat (limited to 'src/ui')
| -rw-r--r-- | src/ui/cli.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/ui/cli.sh b/src/ui/cli.sh index 2325c5b..55cf2fe 100644 --- a/src/ui/cli.sh +++ b/src/ui/cli.sh @@ -27,11 +27,6 @@ cli_exit_ui() : Nothing to do. } -cli_resume_ui() -{ - : Nothing to do. -} - cli_dbg() { : No output. |