diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-28 14:10:31 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-28 14:10:31 +0100 |
commit | 3072efb05b460f8edcf1d9187a92e98e513ca421 (patch) | |
tree | e0a9310a5bfedd1c058a9947b4863f9dc469608b /python/runner/sandbox.c | |
parent | 575c459059d6f847eb49935f4680da1981a0dbaf (diff) |
Increase thread pool size for Prolog runner
Diffstat (limited to 'python/runner/sandbox.c')
0 files changed, 0 insertions, 0 deletions