diff options
| author | David Aspinall | 2004-04-18 10:53:38 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-18 10:53:38 +0000 |
| commit | ebc383c530bbc1f05038aedc5dea94ef255c248d (patch) | |
| tree | bd044996a0d42ca6015e1aee5bc03ff2df9e473a /FAQ | |
| parent | 549be1c32af6842aa113efc75223ae86c49ebeeb (diff) | |
Add proof-eagerly-raise setting, disable it for trace buffer.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions