diff options
author | gVisor bot <gvisor-bot@google.com> | 2019-12-20 18:07:09 -0800 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2019-12-20 18:07:09 -0800 |
commit | d1528df71502b47bdb949798ce0abad1794b054c (patch) | |
tree | c827ada6ccac7e192bf865e501a162106ef130d2 /pkg/sentry/kernel/pipe/BUILD | |
parent | 818eb22b11d6e0c056af6d4605e8cd246e622231 (diff) | |
parent | e9d43f9022e014a31d40b7d04c5e7f5b6d3be2b9 (diff) |
Merge pull request #1026 from lubinszARM:pr_savable
PiperOrigin-RevId: 286667216
Diffstat (limited to 'pkg/sentry/kernel/pipe/BUILD')
0 files changed, 0 insertions, 0 deletions