diff options
| author | Erik Martin-Dorel | 2016-09-23 00:41:42 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2016-09-23 00:41:42 +0200 |
| commit | 80967674f6f60a190e1108b9588ed336debad0ce (patch) | |
| tree | 276495089fc20e9c4b5308494684f0ecdeba1553 /generic/proof-script.el | |
| parent | b219fc3a64062c0a76daba7512acb1439b4965d1 (diff) | |
Disable parallel build, to workaround the issue raised in PR #112.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions