diff options
| author | Adin Scannell <ascannell@google.com> | 2020-05-20 11:19:04 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-05-20 11:20:40 -0700 |
| commit | 5bf33a386348a3b07cfc60c3738bc0f9af7eabae (patch) | |
| tree | c6270b85327099d072860e0b008f02c4a809d316 /tools/workspace_status.sh | |
| parent | 05c89af6edde6158844d4debfe68bc598fec4418 (diff) | |
Unbreak permalink.
The permalink should be "linux" not "Linux.
PiperOrigin-RevId: 312518858
Diffstat (limited to 'tools/workspace_status.sh')
0 files changed, 0 insertions, 0 deletions