diff options
| author | Anton Khirnov <anton@khirnov.net> | 2023-01-19 15:15:38 +0100 |
|---|---|---|
| committer | Anton Khirnov <anton@khirnov.net> | 2023-01-19 15:21:32 +0100 |
| commit | 429c167e5dca3d02d73a517fc008024e8d6745bb (patch) | |
| tree | cb32c9905e0b2c69b3cac85f3978aa2c877f8671 | |
| parent | 1098d2dec08b3abe0b5ac050f0b33ab2e57dd72d (diff) | |
Update threadpool_omp.
| m--------- | src/threadpool_omp | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/threadpool_omp b/src/threadpool_omp -Subproject 57a41e3a520fff66db8c5f42a7738a9d922e130 +Subproject f50c6dcb90616636d79c5f18f16f9d45e71fb56 |