about summary refs log tree commit diff
path: root/tools
diff options
context:
space:
mode:
authorVincent Ambo <tazjin@google.com>2020-05-17T22·58+0100
committerVincent Ambo <tazjin@google.com>2020-05-17T22·58+0100
commitffdeb3bbf136120a25140077d0295b3ff9d326d6 (patch)
tree10b77c01d57014968268e9115a41536761670835 /tools
parente797b4d09bdcf1fbd1b42785fa9aeaf41a08d7d6 (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