diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2017-07-21 21:47:04 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2017-07-21 21:47:04 +0200 |
| commit | e621d0ea24081b3b5b3e324e8fd19422dd60e16f (patch) | |
| tree | e3031f8839fd6f1619d814453c351d62ca05b54a /docs/reference/Extract.mmkin.html | |
| parent | 092c6fdc8b8bbadd3724b4023de60b7f1fe1500f (diff) | |
Only use 1 core to pass test on windows
Diffstat (limited to 'docs/reference/Extract.mmkin.html')
0 files changed, 0 insertions, 0 deletions