diff options
author | 2018-05-07 08:03:06 -0700 | |
---|---|---|
committer | 2018-05-07 08:04:15 -0700 | |
commit | d06a366c63b13f361bd8b80baab32ad3c708443f (patch) | |
tree | d0b976795f2b5b272f567547c74a77d5c0c4133b /src/main/java/com/google/devtools/build/lib/rules | |
parent | b0b2d2a3a09d6696e893b213c47aab8eebbb5823 (diff) |
bes: add --bes_results_url
Closes #4628
Closes #5155.
PiperOrigin-RevId: 195662967
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/rules')
0 files changed, 0 insertions, 0 deletions