From 3819e942632580cae47afd1425aca04e37db98cf Mon Sep 17 00:00:00 2001 From: Dan Davison Date: Sat, 3 Jun 2023 10:00:04 -0400 Subject: Drop grep-header-style option --- manual/src/full---help-output.md | 5 ----- src/cli.rs | 6 ------ src/options/set.rs | 1 - src/parse_styles.rs | 6 ++---- 4 files changed, 2 insertions(+), 16 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