diff options
| author | Kevin Krakauer <krakauer@google.com> | 2019-03-21 11:53:11 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2019-03-21 11:54:10 -0700 |
| commit | ba937d74f9a69893cde8c7e8cb9c2d1cdadb2b70 (patch) | |
| tree | 271f52288f010a2eee1df53c7cca64cec3b80dda /tools | |
| parent | 064fda1a759fa3e73d25da3fd535d256ac8ccfb0 (diff) | |
Address typos from github.
https://github.com/google/gvisor/pull/132
PiperOrigin-RevId: 239641377
Change-Id: I7ba6b57730800cc98496c83cb643e70ec902ed3d
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions