diff options
author | gVisor bot <gvisor-bot@google.com> | 2020-07-13 16:49:20 -0700 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-07-13 16:49:20 -0700 |
commit | c5d827d1104b6829d034e79261423daf2aa5227c (patch) | |
tree | 56c84ff3b80175425c726b184f081f8bdc76bdf8 /tools/defs.bzl | |
parent | c81ac8ec3b78f898e75830a93b5ed3085b785fd6 (diff) | |
parent | feb867bb83d647df45ec0d046db5d25494a162bf (diff) |
Merge pull request #3200 from lubinszARM:pr_kvm_ut_1
PiperOrigin-RevId: 321060717
Diffstat (limited to 'tools/defs.bzl')
0 files changed, 0 insertions, 0 deletions