diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-05-26 17:23:58 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-05-26 17:23:58 +0200 |
| commit | ac2c4bc19afe7d68918cbc6f605a9bcfcdbf0f35 (patch) | |
| tree | e4dfa6f7eb1a4d4ff018421585973577f19ab960 /.gitattributes | |
| parent | 77ee11168bbbf69b222f244792da6d11b8df1132 (diff) | |
| parent | 113b83772263e75bdb36d2aab545d1c35774b8c4 (diff) | |
Merge PR #7603: Use -j 1 for high memory fiat crypto targets
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions