diff options
| author | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2020-05-28 09:32:21 +0300 |
|---|---|---|
| committer | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2020-05-28 09:54:09 +0300 |
| commit | 79be4874209f71ba6428a80c40c9f028ac936c41 (patch) | |
| tree | 67705aa6de8960a452eaa2a4ecf3b44d5b7b2a4c /contrib/devtools | |
| parent | 55b4c65bd1d829e799db7fe75fab88691830de43 (diff) | |
Add thread safety annotated wrapper for std::mutex
Co-authored-by: Anthony Towns <aj@erisian.com.au>
Diffstat (limited to 'contrib/devtools')
0 files changed, 0 insertions, 0 deletions