diff options
Diffstat (limited to 'manual/src/full---help-output.md')
| -rw-r--r-- | manual/src/full---help-output.md | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/manual/src/full---help-output.md b/manual/src/full---help-output.md index 6145e0bb..5d8dabcb 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 <STYLE> - Style string for the header in grep output. - - See hunk-header-style. - --grep-line-number-style <STYLE> Style string for line numbers in grep output. |