diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2019-03-04 11:07:53 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2019-03-04 11:07:53 +0100 |
| commit | 9464ef97992c31436b39110a9b19e2ee3990df71 (patch) | |
| tree | 754b2a732a9ef75b2e80e50abae19cbf5fb280d5 /GNUmakefile | |
| parent | d3da24d4d7e616ba2c862905a1a57fc05f453746 (diff) | |
Winbuilder also needs cores = 1v0.9.48.1
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions