From c68875b62f2664892822ec5f4459289295c50861 Mon Sep 17 00:00:00 2001 From: P. J. McDermott Date: Wed, 28 Oct 2015 17:02:53 -0400 Subject: resume_ui(): Drop We won't temporarily leave the UI to run a shell as originally planned, so this function won't be necessary. --- (limited to 'src/ui') 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. -- cgit v0.9.1