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 /default.nix | |
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 'default.nix')
0 files changed, 0 insertions, 0 deletions