diff options
author | Chong Cai <chongc@google.com> | 2020-12-17 14:20:56 -0800 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-12-17 14:23:02 -0800 |
commit | 433fd0e64650e31ab28e9d918d6dfcd9a67b4246 (patch) | |
tree | b92d5e65379daa18a0cb2b1bfa3767a7ca8d74f3 /g3doc/user_guide | |
parent | a0209de301cf33a60b4217356ea3806ae4042e0d (diff) |
Set verityMu to be state nosave
PiperOrigin-RevId: 348092999
Diffstat (limited to 'g3doc/user_guide')
0 files changed, 0 insertions, 0 deletions