diff options
author | Googler <noreply@google.com> | 2018-06-26 04:14:16 -0700 |
---|---|---|
committer | Shentubot <shentubot@google.com> | 2018-06-26 04:15:18 -0700 |
commit | 0ac11de8d37a1c08fe7068b67671235ee1c32cb8 (patch) | |
tree | 913d20383d26f5ba375e7413add85a9be2db33ce /pkg/sentry/kernel/BUILD | |
parent | db94befb634b05aab0255214cd8c5eab0f5daaf2 (diff) |
Internal change.
PiperOrigin-RevId: 202106801
Change-Id: I2512b8982c3bcb027621e768759be2b628a5ad26
Diffstat (limited to 'pkg/sentry/kernel/BUILD')
0 files changed, 0 insertions, 0 deletions