diff options
| -rw-r--r-- | doc/api/cli.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/api/cli.md b/doc/api/cli.md index 4b283ceb16..bb053193f5 100644 --- a/doc/api/cli.md +++ b/doc/api/cli.md @@ -54,7 +54,7 @@ the next argument will be used as a script filename. ### `--abort-on-uncaught-exception` <!-- YAML -added: v0.10 +added: v0.10.8 --> Aborting instead of exiting causes a core file to be generated for post-mortem |