diff options
author | 2018-06-05 01:03:14 -0700 | |
---|---|---|
committer | 2018-06-05 01:04:41 -0700 | |
commit | 1b041c86147098451bffc94d2602aea26ee16e06 (patch) | |
tree | edbfed1c7861f4766d7d680b587e7999a053b509 /src/main/java/com/google/devtools/build/lib/BUILD | |
parent | fce20d79e682305d966ee210064ef8ac6be2b6d2 (diff) |
Add LabelLateBoundDefault to :coverage_support attribute
RELNOTES:none
PiperOrigin-RevId: 199256705
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/BUILD')
0 files changed, 0 insertions, 0 deletions