diff options
author | Jamie Liu <jamieliu@google.com> | 2020-04-02 11:55:55 -0700 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-04-02 11:57:06 -0700 |
commit | 30388ff5919df33e7184719dfc6c0d9cb110b2e2 (patch) | |
tree | ad7f89a55f7af62a33c434f44a7739e0795d37d3 /pkg/sentry/kernel | |
parent | 035836193e6d9e1fc9cce6a0161cb3907fbc2ef5 (diff) |
Rename files in //pkg/sync to better reflect what they contain.
PiperOrigin-RevId: 304447031
Diffstat (limited to 'pkg/sentry/kernel')
0 files changed, 0 insertions, 0 deletions