diff options
| author | Fabricio Voznika <fvoznika@google.com> | 2019-05-28 11:16:45 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2019-05-30 12:04:49 -0700 |
| commit | 1e42b4cfcad9ff4becb1041b14107815f585becf (patch) | |
| tree | 0620c723a0487f79870393161ebcb7cad6f17eca /pkg/sentry/kernel | |
| parent | f29ea87d2aa155e1b7966c9f899441cd11eae4ab (diff) | |
Update internal flag name and documentation
Updates #234
PiperOrigin-RevId: 250323553
Diffstat (limited to 'pkg/sentry/kernel')
0 files changed, 0 insertions, 0 deletions