From 0894e81ce47818ac016b4b7985aa84016ea873ee Mon Sep 17 00:00:00 2001 From: Ethan P <56270045+ethanpalm@users.noreply.github.com> Date: Wed, 3 Nov 2021 09:21:24 -0700 Subject: [PATCH] add missing backtick --- 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 6cc8d599059..576430225ef 100644 --- a/docs/codeql/codeql-cli/extractor-options.rst +++ b/docs/codeql/codeql-cli/extractor-options.rst @@ -81,7 +81,7 @@ You can also specify extractor option names without the extractor name. For exam * ``codeql database create --extractor-option option1=abc ...`` * ``codeql database start-tracing --extractor-option group1.option2=102 ...`` -If you do not specify an extractor name, the extractor option settings will apply to all extractors that declare an option with the given name. In the above example, the first command would set the extractor option ``option1`` to ``abc`` for the ``java`` extractor and every extractor that has an option of ``option1``, for example the ``cpp`` extractor, if the ``option1` extractor option exists for that extractor. +If you do not specify an extractor name, the extractor option settings will apply to all extractors that declare an option with the given name. In the above example, the first command would set the extractor option ``option1`` to ``abc`` for the ``java`` extractor and every extractor that has an option of ``option1``, for example the ``cpp`` extractor, if the ``option1`` extractor option exists for that extractor. Setting extractor options from files ------------------------------------