diff options
author | 2017-11-27 09:37:44 -0800 | |
---|---|---|
committer | 2017-11-27 09:39:09 -0800 | |
commit | 3e7ef36aa6f25200580fd235e71f9cb4cc8284aa (patch) | |
tree | 4a7b0cf6140f882915e8f9e2951c5a4b6116cb0c /src/main/java/com/google/devtools | |
parent | bc4f97114dd6c82228c5b79868dcfdcd18818c24 (diff) |
Fix link and usage of ToolchainInfo in docs
Closes #4158.
PiperOrigin-RevId: 177028468
Diffstat (limited to 'src/main/java/com/google/devtools')
0 files changed, 0 insertions, 0 deletions