diff options
| author | Christopher Ferris <cferris@google.com> | 2020-11-30 21:09:26 +0000 |
|---|---|---|
| committer | Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com> | 2020-11-30 21:09:26 +0000 |
| commit | df373f6e5d0940f2954bc4669985ad18d675f957 (patch) | |
| tree | 58d8b70fda29917474b37ef69dd287d1d44bb883 /trusty/coverage/coverage_test.cpp | |
| parent | e29076bc155dafb2ba56b7b496b58d1871361467 (diff) | |
| parent | 8255631fa9a197b1c860d406b3af38c8d1f25d3c (diff) | |
Merge "Adjust to MapInfo to new api." am: 8255631fa9
Original change: https://android-review.googlesource.com/c/platform/system/core/+/1509951
Change-Id: I5390e1a6f86a8d4c517f15742ed758dbb12873c4
Diffstat (limited to 'trusty/coverage/coverage_test.cpp')
0 files changed, 0 insertions, 0 deletions