diff options
author | 2018-06-14 03:54:02 -0700 | |
---|---|---|
committer | 2018-06-14 03:55:32 -0700 | |
commit | 465b834172e57b0788a3a7280fee8babd28efd4f (patch) | |
tree | 98c2e7b912e584989857ab36be0b4b1b2ec4b84c /src/main/java/com/google/devtools/build/lib/runtime | |
parent | 865b6214c115305b0a56bd196e2fbe406ce9e959 (diff) |
Fix link to windows platform bugs
Link currently finds no issues. This seems to be because the proper tag is "platform:windows" rather than the documented "multi-platform > windows".
The fix merely updates the text and link to "platform:windows".
Closes #5393.
PiperOrigin-RevId: 200533655
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/runtime')
0 files changed, 0 insertions, 0 deletions