diff options
| author | gingerBill <bill@gingerbill.org> | 2021-07-27 21:42:43 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2021-07-27 21:42:43 +0100 |
| commit | 4080ba4026e09d1fe00b2edb38afb957f1615c55 (patch) | |
| tree | 65ed37ec0ef06bd38df8be899bf2817b74fc35eb /src/check_builtin.cpp | |
| parent | e17593be9446865a24a62c0915368e02a9ff4948 (diff) | |
Remove global semaphore and place in CheckerInfo
Diffstat (limited to 'src/check_builtin.cpp')
0 files changed, 0 insertions, 0 deletions