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 /src/options/set.rs | |
| parent | a28231aebcf334ac080599aa9d903c734662f0b0 (diff) | |
Drop grep-header-style option
Diffstat (limited to 'src/options/set.rs')
| -rw-r--r-- | src/options/set.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/options/set.rs b/src/options/set.rs index 1703b67b..732806a7 100644 --- a/src/options/set.rs +++ b/src/options/set.rs @@ -154,7 +154,6 @@ pub fn set_options( grep_file_style, grep_header_decoration_style, grep_header_file_style, - grep_header_style, grep_output_type, grep_line_number_style, grep_match_line_style, |