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 /.github/pull_request_template.md | |
| parent | 51c61cb2dc0d770d3cde84c367484070ba1f053b (diff) | |
Remove gvisor/pkg/tmutex
It isn't used.
PiperOrigin-RevId: 314775492
Diffstat (limited to '.github/pull_request_template.md')
0 files changed, 0 insertions, 0 deletions