diff options
author | 2018-08-12 11:35:14 -0700 | |
---|---|---|
committer | 2018-08-12 11:36:55 -0700 | |
commit | c0d4bb06d4227be27d5b4d4b04a4d5bb9ae3215d (patch) | |
tree | 1504d37452650f2d35dd25bd03e39ff6ca9516d5 /src/main/java/com/google/devtools/build/lib/rules/repository | |
parent | 5276be608c43fa37706903c1d9301403f814985e (diff) |
ActionAnalysisMetadata exposes whether loose headers are present. TransitiveVersionTable uses futures.
PiperOrigin-RevId: 208402465
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/rules/repository')
0 files changed, 0 insertions, 0 deletions