aboutsummaryrefslogtreecommitdiff
path: root/check.log
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2017-07-21 21:47:04 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2017-07-21 21:47:04 +0200
commite621d0ea24081b3b5b3e324e8fd19422dd60e16f (patch)
treee3031f8839fd6f1619d814453c351d62ca05b54a /check.log
parent092c6fdc8b8bbadd3724b4023de60b7f1fe1500f (diff)
Only use 1 core to pass test on windows
Diffstat (limited to 'check.log')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint