diff --git a/docs/options.md b/docs/options.md index a49a2abef..dbae2f911 100644 --- a/docs/options.md +++ b/docs/options.md @@ -156,7 +156,7 @@ or Default | CLI Override | API Override --------|--------------|------------- `false` | `--require-pragma` | `requirePragma: ` - +