diff options
Diffstat (limited to 'lib/cmd/shell.sh')
-rw-r--r-- | lib/cmd/shell.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lib/cmd/shell.sh b/lib/cmd/shell.sh index 811ce49..468da0f 100644 --- a/lib/cmd/shell.sh +++ b/lib/cmd/shell.sh @@ -18,10 +18,6 @@ # along with the ProteanOS Development Kit. If not, see # <http://www.gnu.org/licenses/>. -use block -use profile -use session - cmd_shell_main() { local root= |