Commit 76294621 authored by Lennart Spitzner's avatar Lennart Spitzner
Browse files

commandline-documentation: mention `sandbox` command again

(mistakenly got removed when restructuring)
parent 96448f0c
...@@ -235,6 +235,7 @@ globalCommand commands = CommandUI { ...@@ -235,6 +235,7 @@ globalCommand commands = CommandUI {
, addCmd "register" , addCmd "register"
, par , par
, startGroup "sandbox" , startGroup "sandbox"
, addCmd "sandbox"
, addCmd "exec" , addCmd "exec"
, addCmdCustom "repl" "Open interpreter with access to sandbox packages." , addCmdCustom "repl" "Open interpreter with access to sandbox packages."
] ++ if null otherCmds then [] else par ] ++ if null otherCmds then [] else par
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment