| commit | 0acd013f03f12322c766aee791c835b597ba7724 | [log] [tgz] |
|---|---|---|
| author | TreeHugger Robot <treehugger-gerrit@google.com> | Wed Feb 20 03:55:40 2019 +0000 |
| committer | Android (Google) Code Review <android-gerrit@google.com> | Wed Feb 20 03:55:40 2019 +0000 |
| tree | d9ba9a4dfcc0a7882c020090c1be28ed7849f926 | |
| parent | e67344a5c58b176b282f43eb340cd0f36f109a23 [diff] | |
| parent | 787a92c983cb581729a44917d3dd3eff71cf71d0 [diff] |
Merge "Add developer menu to enable/disable ART verifier."