diff options
| author | P. J. McDermott <pj@pehjota.net> | 2015-10-28 17:02:53 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2015-10-28 17:03:27 (EDT) |
| commit | c68875b62f2664892822ec5f4459289295c50861 (patch) | |
| tree | 55d42511d8746c5beb0dfbcca914a321b3779c1a /src/ui | |
| parent | 3a5e42fc90730ba5ae8fcd0cfd5d7b0109613a25 (diff) | |
| download | firman.sh-c68875b62f2664892822ec5f4459289295c50861.zip firman.sh-c68875b62f2664892822ec5f4459289295c50861.tar.gz firman.sh-c68875b62f2664892822ec5f4459289295c50861.tar.bz2 | |
resume_ui(): Drop
We won't temporarily leave the UI to run a shell as originally planned,
so this function won't be necessary.
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. |