diff options
| author | David Aspinall | 2010-08-18 10:52:24 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-18 10:52:24 +0000 |
| commit | 51788ac359645045c999432b3e4584ee37ca992a (patch) | |
| tree | bdef8bae0c0460ca6ea8ab0dc344e47e5f87dda5 /lib/pg-dev.el | |
| parent | 1c896e20c909954df3aad34c5cca1a11c21d40eb (diff) | |
Turn off parallel proofs setting (no noticeable difference for this test file)
Diffstat (limited to 'lib/pg-dev.el')
0 files changed, 0 insertions, 0 deletions