diff options
| author |  elenairina <elenairina@google.com> | 2017-08-03 14:46:37 +0200 |
|---|---|---|
| committer |  Dmitry Lomov <dslomov@google.com> | 2017-08-03 15:43:23 +0200 |
| commit | 3774341ff0544497e6e71f405cb222e87f98eb4c (patch) | |
| tree | b418ceb800e0deabc52f7b19bfc4fe657324cb56 /src/main/java/com/google/devtools/build/lib/rules/android | |
| parent | b3be32e7135895737b64e3ad8ddb09176bfc8dd5 (diff) | |
Update doc of ctx.coverage_instrumented.
Fixes #3434
PiperOrigin-RevId: 164113116
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/rules/android')
0 files changed, 0 insertions, 0 deletions