diff options
| author |  Googler <noreply@google.com> | 2018-06-20 09:32:56 -0700 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2018-06-20 09:34:20 -0700 |
| commit | b97ba661ee03f23c6f14922d732b55faa2176842 (patch) | |
| tree | c82bcc3c5029c22e7ab8024083e941f3f687b55e /src/main/java/com/google/devtools/build/docgen | |
| parent | d0c99bd1738c80389acf7b05d72f07eb6015029b (diff) | |
Don't instrument files generated by cc_proto_library for coverage
RELNOTES=None
PiperOrigin-RevId: 201365986
Diffstat (limited to 'src/main/java/com/google/devtools/build/docgen')
0 files changed, 0 insertions, 0 deletions