diff options
| author | 2021-01-20 03:27:03 +0000 | |
|---|---|---|
| committer | 2021-01-20 03:27:03 +0000 | |
| commit | 95bd22edb6577e44687f54668304c1a19b160c20 (patch) | |
| tree | 6344cbaf1473f8989ee6a4eb5fbf8a1b1aeb6d0a /tools/extract_kernel.py | |
| parent | b45217bdc45f54b4386e490bf3286f34d63af44b (diff) | |
| parent | 2099e6eda29004ab0d81a87cefe8abad4da8d107 (diff) | |
Merge "Remove PRODUCT_COMPATIBLE_PROPERTY_OVERRIDE from gsi_release.mk"
Diffstat (limited to 'tools/extract_kernel.py')
0 files changed, 0 insertions, 0 deletions