diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-05-15 16:59:20 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-05-15 16:59:20 -0400 |
| commit | fb5b1fc36c1e967a3bad3ec6260e60c8c4770c9d (patch) | |
| tree | f3c045c191bf0c6cc4c9a41bb6ed223204431662 /bbv | |
| parent | 251ea49a661aef7c075ace80867006183ab0cdea (diff) | |
Add nobigmem target for Coq's ci
Diffstat (limited to 'bbv')
0 files changed, 0 insertions, 0 deletions