From 38c50955e8dbbe9538b38a41f81a1daee52ab0a2 Mon Sep 17 00:00:00 2001 From: Nikita Sobolev Date: Fri, 28 Jan 2022 11:40:33 +0300 Subject: [PATCH] Remove duplicated example from `options.rst` --- docs/source/user/options.rst | 3 --- 1 file changed, 3 deletions(-) diff --git a/docs/source/user/options.rst b/docs/source/user/options.rst index 8bf7e33..30bb333 100644 --- a/docs/source/user/options.rst +++ b/docs/source/user/options.rst @@ -825,9 +825,6 @@ Options and their Descriptions enable-extensions = H111, G123 - enable_extensions = - H111, - G123 .. option:: --exit-zero