-
Øyvind "pippin" Kolås authored
The preceding commit changed the set, not the default value, a second attempt; this time also trying to handle the default number of threads. Hopefully fixing issue #368
The preceding commit changed the set, not the default value, a second attempt; this time also trying to handle the default number of threads. Hopefully fixing issue #368