diff options
| author | 2019-01-23 09:56:46 +0000 | |
|---|---|---|
| committer | 2019-01-23 09:56:46 +0000 | |
| commit | 767569b489d5d2da04d40ae59bc9bac49a32aa2c (patch) | |
| tree | 864994b5319d9c6369b372150c030cc00f6af2a1 /tools/extract_kernel.py | |
| parent | 9779c57cd0ab8e6df9ef97a5b7e685c7ede38aa5 (diff) | |
| parent | ac952ee4d7f047946bc3c75991b36d84ed97461f (diff) | |
Merge "Enable 64-bit mediadrmserver for mainline"
Diffstat (limited to 'tools/extract_kernel.py')
0 files changed, 0 insertions, 0 deletions