diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2012-01-10 13:03:24 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2012-01-10 13:03:24 +0000 |
| commit | ca1a3deb8c86dae5627a7841bb5abaa967050955 (patch) | |
| tree | f2e02cd1640e4dd6b3105c2ca7b108c5b57660aa /generic/proof-shell.el | |
| parent | 82f8fd492e03a40b9698ae2630bb93d6db4ce978 (diff) | |
Note about make -j for parallel compilation
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions