diff options
| author | 2020-07-08 14:00:55 +0000 | |
|---|---|---|
| committer | 2020-07-08 14:00:55 +0000 | |
| commit | be88cd91406e58d30c215d523009eaf8bb430dc4 (patch) | |
| tree | c7d230fb8a32522a2748effd9eff0f3e653a8389 /tools/extract_kernel.py | |
| parent | 01ce4a0b020bb1e5a05800b5937e3e4d9d42ca53 (diff) | |
| parent | 62d99126773264ef6932034b46aa9b9d2772a959 (diff) | |
Merge "Revert "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