diff options
| author | Jamie Liu <jamieliu@google.com> | 2020-12-04 19:05:26 -0800 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-12-04 19:13:24 -0800 |
| commit | b80021afd2395fd40464ebbeac8f4c8034dee06e (patch) | |
| tree | a13d5cbb506ae0d47cf1f3d26037acb680cb4e74 /tools/workspace_status.sh | |
| parent | 8a45c8161601e62faa0d448ff6d5bc0604ea406f (diff) | |
Overlay runsc regular file mounts with regular files.
Fixes #4991
PiperOrigin-RevId: 345800333
Diffstat (limited to 'tools/workspace_status.sh')
0 files changed, 0 insertions, 0 deletions