diff options
| author | Florian Dold <florian.dold@gmail.com> | 2020-08-18 19:37:12 +0530 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2020-08-18 19:37:12 +0530 |
| commit | 1cd3f3281b19e2b739eca02a4b21f756e962f78c (patch) | |
| tree | f796658aa504bbfa9a51ab8c568a5960d58d425c /src/util/paths.conf | |
| parent | 5eac9b2b312920b0c25f7b0de275468e1aabfcd5 (diff) | |
make thread pool size configurable via command line argument, default to #CPUs available
Diffstat (limited to 'src/util/paths.conf')
0 files changed, 0 insertions, 0 deletions