diff options
Merge branch 'melanie_test' into prioritization
This makes SmartThreadPool configurable and also makes it the default, since
the regular thread pool simply stinks.
Diffstat (limited to 'runprebuild.bat')
0 files changed, 0 insertions, 0 deletions