diff options
| author | Andrei Vagin <avagin@google.com> | 2020-06-04 12:01:22 -0700 |
|---|---|---|
| committer | Nicolas Lacasse <nlacasse@google.com> | 2020-06-05 11:27:39 -0700 |
| commit | d61e88e342d74d306a654b85d5ed791078f96f0a (patch) | |
| tree | 37a5403dd44d12eea16ee0b245a7e77b283d3df2 /pkg/sentry/kernel/sched | |
| parent | 51c61cb2dc0d770d3cde84c367484070ba1f053b (diff) | |
Remove gvisor/pkg/tmutex
It isn't used.
PiperOrigin-RevId: 314775492
Diffstat (limited to 'pkg/sentry/kernel/sched')
0 files changed, 0 insertions, 0 deletions