diff options
| author | 2019-09-04 13:59:17 +0000 | |
|---|---|---|
| committer | 2019-09-04 13:59:17 +0000 | |
| commit | a6c80c11179858ec5f4f4c648712fb988a587e2c (patch) | |
| tree | 503296e64d4b887055efe83c850b5f0f57209ad1 /tools/extract_kernel.py | |
| parent | 9432b4d052a12f95809ba4bcceffe0f426377578 (diff) | |
| parent | 8ef0ffe7e8611b7e5e77f6cd23cebd2a3aa83af7 (diff) | |
Merge "Moving GSI-specific files to system_ext"
Diffstat (limited to 'tools/extract_kernel.py')
0 files changed, 0 insertions, 0 deletions