diff options
| author | Evgenii Stepanov <eugenis@google.com> | 2020-08-07 22:44:18 +0000 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2020-08-07 22:44:18 +0000 |
| commit | 48e914e9911f53cad5af6d912221a3a35cb5f23c (patch) | |
| tree | 7153bee8e2112bcd9f2a4461f2a88220f53b0615 /tools/extract_kernel.py | |
| parent | 7c556f30becdf2215761745112a932d51fb206bb (diff) | |
| parent | 830eddbe27a190b4e60d762c89adf011c899dca8 (diff) | |
Merge "Define ro.sanitize.<name> properties in SANITIZE_TARGET builds."
Diffstat (limited to 'tools/extract_kernel.py')
0 files changed, 0 insertions, 0 deletions