diff --git a/docs/source/user/options.rst b/docs/source/user/options.rst index b622bf6..5eb8e35 100644 --- a/docs/source/user/options.rst +++ b/docs/source/user/options.rst @@ -911,7 +911,6 @@ Options and their Descriptions .. code-block:: ini - output-file = output.txt tee = True