diff options
author | Jason Gross <jgross@mit.edu> | 2018-04-29 13:45:17 -0400 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2018-04-30 01:02:13 -0400 |
commit | 26a5193a11ace7de40ee2de134f29f51ba5845a6 (patch) | |
tree | 4941134acc3d5b9d82c0aa05720f449d05e25280 /capture.sh | |
parent | 81fee638bf26bce5b63d110be579392e59eaf463 (diff) |
Add a coqprime-all target to build all of coqprime
Diffstat (limited to 'capture.sh')
0 files changed, 0 insertions, 0 deletions