aboutsummaryrefslogtreecommitdiff
path: root/docs/index.html
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2017-07-21 16:18:04 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2017-07-21 16:18:04 +0200
commit44557703a8f3d04ffe23dab7a398c451b5163faa (patch)
tree4f5916e47e1994219d2e6f7217baa16af89ea61f /docs/index.html
parent1623d0f0df92e2d4f44faa7a64a0b795e275b444 (diff)
Limit to one core for checks on windows
Diffstat (limited to 'docs/index.html')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint