diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-04-04 12:54:26 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-04-04 12:54:26 -0500 |
| commit | bf682b92e2bddcd490604f8a65c440b9c4c2f2f9 (patch) | |
| tree | 336954c088a073aef44ddf49c1f66b02c4c3c4af /proofs/signatures | |
| parent | 6c0a62d69368b1af7e9777efcd703da6dc1cda11 (diff) | |
Enable multi-trigger-linear by default, add option.
Diffstat (limited to 'proofs/signatures')
0 files changed, 0 insertions, 0 deletions