From ec995dc741a4d5246cf6b91f4f820e4d6295c6b8 Mon Sep 17 00:00:00 2001 From: Anna Henningsen Date: Tue, 14 Jan 2020 22:12:14 +0100 Subject: [PATCH] doc: correct added version for --abort-on-uncaught-exception --- doc/api/cli.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/api/cli.md b/doc/api/cli.md index 673a3d5a75fbd6..94c49f41784a91 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` Aborting instead of exiting causes a core file to be generated for post-mortem