diff options
author | 2018-06-05 05:09:32 -0700 | |
---|---|---|
committer | 2018-06-05 05:10:40 -0700 | |
commit | 52c4d05d1bfd54ea901e9926be7b262dd45e34de (patch) | |
tree | ee4467237fb90589e7f29bdac42642126b72cda6 /src/main/java/com/google/devtools/build/lib/worker/SimpleWorkerPool.java | |
parent | 4ec0a7524913ab2c4641368e3f8c09b347351a08 (diff) |
Add LabelLateBoundDefault to :coverage_report_generator attribute
RELNOTES:none
PiperOrigin-RevId: 199280443
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/worker/SimpleWorkerPool.java')
0 files changed, 0 insertions, 0 deletions