diff options
| author | gingerBill <bill@gingerbill.org> | 2023-01-02 00:56:06 +0000 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2023-01-02 00:56:06 +0000 |
| commit | bfdcf900ef25566e57e46ec46683f8b6f2a9515a (patch) | |
| tree | 8052c43ddf650fdb6e00026c61f4ec0214002629 /src/check_expr.cpp | |
| parent | 54f89dd84baaf296f7f744e1d2702b2ec867b5ae (diff) | |
Remove `global_` prefix from `global_thread_pool_*` procedures
Diffstat (limited to 'src/check_expr.cpp')
0 files changed, 0 insertions, 0 deletions