diff options
author | Chong Cai <chongc@google.com> | 2020-12-15 15:38:19 -0800 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-12-15 15:40:04 -0800 |
commit | 7aa674eb68e9b760ea72508dfb79a19dbf5b85ed (patch) | |
tree | 65077e34a2c2fb67145e12ba011542cbe2074613 /tools | |
parent | f6407de6bafbf8fe3e4579c876640672380fa96c (diff) |
Change violation mode to an enum
PiperOrigin-RevId: 347706953
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions