From 10e5a8b3e59cdff0badd2f81349c25314915d4b5 Mon Sep 17 00:00:00 2001 From: Ethan P <56270045+ethanpalm@users.noreply.github.com> Date: Thu, 4 Nov 2021 13:18:37 -0700 Subject: [PATCH] Adjust spacing --- docs/codeql/codeql-cli/extractor-options.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/codeql/codeql-cli/extractor-options.rst b/docs/codeql/codeql-cli/extractor-options.rst index f761a8f442c..d0d61e7f117 100644 --- a/docs/codeql/codeql-cli/extractor-options.rst +++ b/docs/codeql/codeql-cli/extractor-options.rst @@ -31,7 +31,7 @@ Each extractor defines its own set of configuration options. To find out which o "description" : "An example array option for the Java extractor", "type" : "array", "pattern" : "[1-9][0-9]*" - } + } } } }