Remove duplicated example from options.rst

This commit is contained in:
Nikita Sobolev 2022-01-28 11:40:33 +03:00 committed by GitHub
parent 577631ceac
commit 38c50955e8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -825,9 +825,6 @@ Options and their Descriptions
enable-extensions =
H111,
G123
enable_extensions =
H111,
G123
.. option:: --exit-zero