diff options
| author | gingerBill <bill@gingerbill.org> | 2020-05-23 13:38:06 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2020-05-23 13:38:06 +0100 |
| commit | aa029fe8d9d48477f0be27fa79f8c541451a8a0a (patch) | |
| tree | b15ec4c1364b527ac6337385b31998326ab85605 /src/thread_pool.cpp | |
| parent | ef539696b9540cc45a4343f0fecdb4bbcb1a8a0e (diff) | |
Add `"pure"` procedure types
Diffstat (limited to 'src/thread_pool.cpp')
0 files changed, 0 insertions, 0 deletions