diff options
| author | Vincent Ambo <tazjin@google.com> | 2020-05-17T22·58+0100 |
|---|---|---|
| committer | Vincent Ambo <tazjin@google.com> | 2020-05-17T22·58+0100 |
| commit | ffdeb3bbf136120a25140077d0295b3ff9d326d6 (patch) | |
| tree | 10b77c01d57014968268e9115a41536761670835 /tools | |
| parent | e797b4d09bdcf1fbd1b42785fa9aeaf41a08d7d6 (diff) | |
chore: Only exclude //third_party/git from ripgrep r/749
The other third party folders are actually occasionally relevant.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions