diff options
| author | 2020-10-09 02:57:07 +0000 | |
|---|---|---|
| committer | 2020-10-09 02:57:07 +0000 | |
| commit | 7c68384840447d67227d364e56cb282f57e185f9 (patch) | |
| tree | cb5992d5a5da66b1b1d967b48ec3d2892cda52bb /tools/cpp-define-generator/make_header.py | |
| parent | b4e573008b4750bcad886dc386fd2a5ade33dd17 (diff) | |
| parent | 1cd030f76e6ee07888aadca25ba24119fefb31b8 (diff) | |
[metrics] Add timer conveniences am: 1cd030f76e
Original change: https://android-review.googlesource.com/c/platform/art/+/1442437
Change-Id: Ib53a652800d66952b86034071dbb54b04d26138b
Diffstat (limited to 'tools/cpp-define-generator/make_header.py')
0 files changed, 0 insertions, 0 deletions