diff options
author | Dan Davison <dandavison7@gmail.com> | 2023-06-03 07:49:14 -0400 |
---|---|---|
committer | Dan Davison <dandavison7@gmail.com> | 2023-06-03 08:05:11 -0400 |
commit | a28231aebcf334ac080599aa9d903c734662f0b0 (patch) | |
tree | 097c2598248ec1f2ca155a127ff0cb1616ff0837 /manual/src | |
parent | 481d3c1a26096c30e19b29f7c22be0574bb6d4cf (diff) |
Honor grep-header-decoration-style for ripgrep output
Diffstat (limited to 'manual/src')
0 files changed, 0 insertions, 0 deletions