diff options
| author | 2020-07-13 14:31:26 +0000 | |
|---|---|---|
| committer | 2020-07-13 14:31:26 +0000 | |
| commit | 18a4837e07c9857fdd34312d6a7eeeb08877822e (patch) | |
| tree | 832112f7c87d78f41cc9e573355e0032eeaa7380 /tools/extract_kernel.py | |
| parent | 3227fc587c635cbe8ca795e387c95922a75ad53b (diff) | |
| parent | cd80a6afea7e800c4eafd8f59bd6103430a7aac9 (diff) | |
Merge "Turn `COVERAGE_PATHS` and `COVERAGE_EXCLUDE_PATHS` into obsolete variables."
Diffstat (limited to 'tools/extract_kernel.py')
0 files changed, 0 insertions, 0 deletions