diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-08-24T09·21+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-08-24T09·21+0000 |
| commit | c67eccc26d42bce9496024ac77eaa7e4ff725d01 (patch) | |
| tree | 946fe1fe0f45ce66f0c064dc6c3b55cb3f0b00e2 /doc/manual | |
| parent | 2c8e070e5d75e1d1f610c8493b359a194c30e3b8 (diff) | |
* nix-build: pass --cores.
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions