diff options
| author | 2019-01-28 10:49:32 +0000 | |
|---|---|---|
| committer | 2019-01-28 10:49:32 +0000 | |
| commit | ad9ee4b5042acd3512c07bafce35f46d8de691cd (patch) | |
| tree | d6d4c3e4dda6fd583f1b2962bf8019504b3150b3 /tools/extract_kernel.py | |
| parent | 8fbdd25457fb50c2f017d49dee47ec96d39d063d (diff) | |
| parent | 14fb72c15c374acd723c9b243bc962f5dedcb86c (diff) | |
Merge "Move mainline_arm64 over to use mainline device"
Diffstat (limited to 'tools/extract_kernel.py')
0 files changed, 0 insertions, 0 deletions