diff options
| author | 2020-10-12 07:47:43 +0000 | |
|---|---|---|
| committer | 2020-10-12 07:47:43 +0000 | |
| commit | 613d9840262884c374ecb43a03617a85190a2c91 (patch) | |
| tree | 98c89934b8907d62ff5e97eda11f20d3d4e97b2d /tools/cpp-define-generator/make_header.py | |
| parent | aae6c3d251e58d2e230395a3a5ec9b1ede4e38d2 (diff) | |
| parent | 7e9fc9d6d1622192f118bab771784eedfb66c60e (diff) | |
Revert "Make 'quicken' an alias to 'verify'." am: 7e9fc9d6d1
Original change: https://android-review.googlesource.com/c/platform/art/+/1456975
Change-Id: I5214596777ab17b641f9f1be1489f70af0fd923c
Diffstat (limited to 'tools/cpp-define-generator/make_header.py')
0 files changed, 0 insertions, 0 deletions