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:15:38 +0100 |
| commit | 1098d2dec08b3abe0b5ac050f0b33ab2e57dd72d (patch) | |
| tree | f4ab25e1ba6084fc88282582e4d4f73564075088 | |
| parent | 3b9e362880cead77d41f64ab882fc56a38547fd6 (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 f8cb3e39436966f0d490e0ec3735dd04d99b387 +Subproject 57a41e3a520fff66db8c5f42a7738a9d922e130 |