diff options
Diffstat (limited to 'third_party/re2/repo.json')
| -rw-r--r-- | third_party/re2/repo.json | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/third_party/re2/repo.json b/third_party/re2/repo.json new file mode 100644 index 000000000..e33bf0839 --- /dev/null +++ b/third_party/re2/repo.json @@ -0,0 +1,5 @@ +{ + "name": "RE2", + "add": [ "$dir_pw_third_party/re2/configs:internal_disabled_warnings" ], + "remove": [ "$dir_pw_fuzzer:instrumentation" ] +} |