diff options
| author | 2020-08-06 19:27:17 +0000 | |
|---|---|---|
| committer | 2020-08-06 19:27:17 +0000 | |
| commit | 561043066737aaf2aaf0629c49b4d9e058e093d4 (patch) | |
| tree | cdfc3b7f316f0438ed4fe0b82df351ebad401358 /tools/extract_kernel.py | |
| parent | c45c04e38e9463a81d65aebe5e9ff92f88696dbd (diff) | |
| parent | ceba3cb656fa70529b2ef1a561fb98aa90a0da79 (diff) | |
Merge "Don't use the remote pool when using clang-tidy"
Diffstat (limited to 'tools/extract_kernel.py')
0 files changed, 0 insertions, 0 deletions