diff options
author | gVisor bot <gvisor-bot@google.com> | 2020-10-02 16:30:05 -0700 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-10-02 16:30:05 -0700 |
commit | 55f835d1fdd0a5d9dca0b19a65cb748caf326f79 (patch) | |
tree | a9285798b1e93855a4bf79884042354dd9925ba2 /pkg/sentry/platform/BUILD | |
parent | 0cea6472188e056673fd0ab8ff06a25dbe44ca52 (diff) | |
parent | 28ced626a3e9a2422eb41ea86fb9b3cd154c21d0 (diff) |
Merge pull request #4377 from avagin:kvm-if-flag
PiperOrigin-RevId: 335122704
Diffstat (limited to 'pkg/sentry/platform/BUILD')
0 files changed, 0 insertions, 0 deletions