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 /.rgignore | |
| 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 '.rgignore')
| -rw-r--r-- | .rgignore | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.rgignore b/.rgignore index 76b510c710f0..6c19dfbda4bc 100644 --- a/.rgignore +++ b/.rgignore @@ -1 +1 @@ -third_party/ +third_party/git |