diff options
| author | 2020-07-08 10:07:51 +0000 | |
|---|---|---|
| committer | 2020-07-08 10:07:51 +0000 | |
| commit | 01ce4a0b020bb1e5a05800b5937e3e4d9d42ca53 (patch) | |
| tree | 3ccfa681e47bd2c68316464faf944ad7fdf3e15a /tools/extract_kernel.py | |
| parent | faac5a2e7d9482b4002f3e26759aa015031f2e51 (diff) | |
| parent | ace5860719e5aac0ce59ad6f346b62db7c648647 (diff) | |
Merge "Turn uses of `COVERAGE_PATHS` and `COVERAGE_EXCLUDE_PATHS` into errors."
Diffstat (limited to 'tools/extract_kernel.py')
0 files changed, 0 insertions, 0 deletions