Add new shell command documentation

Ref #979
This commit is contained in:
Zachary Yedidia
2018-01-22 21:03:52 -05:00
parent 44b64f7129
commit 36dc6647dd
4 changed files with 36 additions and 10 deletions

File diff suppressed because one or more lines are too long