diff options
| author | Dan Davison <dandavison7@gmail.com> | 2023-06-03 10:00:04 -0400 |
|---|---|---|
| committer | Dan Davison <dandavison7@gmail.com> | 2023-06-03 10:00:50 -0400 |
| commit | 3819e942632580cae47afd1425aca04e37db98cf (patch) | |
| tree | eaa65d0e29b84f359655fba31c4b3b2c761543d6 /manual | |
| parent | a28231aebcf334ac080599aa9d903c734662f0b0 (diff) | |
Drop grep-header-style option
Diffstat (limited to 'manual')
| -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 6145e0b..5d8dabc 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. |