diff options
author | Googler <noreply@google.com> | 2018-07-24 10:27:34 -0700 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-07-24 10:29:01 -0700 |
commit | 78930aeca06fa0983eba005b7e1806da46ec4537 (patch) | |
tree | 9da8dc56b2bb4a50d641e49262afc145085bb9f6 /src/main/java/com/google/devtools/build/lib/skyframe/RegisteredExecutionPlatformsFunction.java | |
parent | c7865d521027c4d5c8dd307b5f3be696c1956228 (diff) |
ProtoSourcesProvider docs: Add link to FileDescriptorSet definition
RELNOTES: None.
PiperOrigin-RevId: 205850479
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/skyframe/RegisteredExecutionPlatformsFunction.java')
0 files changed, 0 insertions, 0 deletions