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/LibraryRGeneratorActionBuilder.java | |
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/LibraryRGeneratorActionBuilder.java')
0 files changed, 0 insertions, 0 deletions