diff --git a/manual/src/full---help-output.md b/manual/src/full---help-output.md index 6145e0bb9..5d8dabcb8 100644 --- a/manual/src/full---help-output.md +++ b/manual/src/full---help-output.md @@ -187,11 +187,6 @@ Options: See hunk_header_file_style. - --grep-header-style