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/vm | |
parent | 05c89af6edde6158844d4debfe68bc598fec4418 (diff) |
Unbreak permalink.
The permalink should be "linux" not "Linux.
PiperOrigin-RevId: 312518858
Diffstat (limited to 'tools/vm')
0 files changed, 0 insertions, 0 deletions