diff options
| author | Brian Di Palma <1597820+briandipalma@users.noreply.github.com> | 2022-09-04 20:59:46 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-04 21:59:46 +0200 |
| commit | 2584ff391b528d01bf5e8c04206d5902a79ebdde (patch) | |
| tree | 018de2d3962449a438b9587cae944eb7cb687d20 /developers.md | |
| parent | bd9e8a7eac1b3f921d293866abf7574d49cb610c (diff) | |
docs: mention ripgrep find_files priority (#2126)
Diffstat (limited to 'developers.md')
0 files changed, 0 insertions, 0 deletions