diff options
| author | 2020-06-24 10:16:03 +0000 | |
|---|---|---|
| committer | 2020-06-24 10:16:03 +0000 | |
| commit | 4a203a63261036177073c77f5f24f1ba0c0c0f32 (patch) | |
| tree | f0e2e693a7c120751e6f2260c2e477ad976d2fc3 /tools/warn/java_warn_patterns.py | |
| parent | 5c0acab3e284c173189e264652920421a8927cd7 (diff) | |
| parent | bececf9e92457869a644866dabdc3acf7404d2a7 (diff) | |
Merge "Warn about the use of `COVERAGE_PATHS` and `COVERAGE_EXCLUDE_PATHS`."
Diffstat (limited to 'tools/warn/java_warn_patterns.py')
0 files changed, 0 insertions, 0 deletions