diff options
| author | Andrei Vagin <avagin@google.com> | 2020-10-09 14:32:05 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-10-09 14:34:51 -0700 |
| commit | a0ffc84adfe345e52a249bd1bac9c9f883bf0fe7 (patch) | |
| tree | cffdd4a6ba06f3e1511fd556ef3e24f5c377b525 /tools/nogo/util | |
| parent | b576de907cb42b8df11695cc58792631f4c059ae (diff) | |
platform/kvm: remove the unused field
PiperOrigin-RevId: 336366624
Diffstat (limited to 'tools/nogo/util')
0 files changed, 0 insertions, 0 deletions