diff options
Diffstat (limited to 'website')
| -rw-r--r-- | website/manual.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/website/manual.md b/website/manual.md index 5f3f740f2..ad6a83aa3 100644 --- a/website/manual.md +++ b/website/manual.md @@ -562,6 +562,7 @@ OPTIONS: SUBCOMMANDS: <script> Script to run + eval Eval script fmt Format files info Show source file related info |