diff options
author | Jason Gross <jgross@mit.edu> | 2018-07-11 09:25:46 -0400 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2018-07-21 03:40:18 +0100 |
commit | cb1449271906998bb29c00d68c0bee4b58d2803c (patch) | |
tree | e777fb67aed388e698fbbf3efd6d79cbf724862f /generate_parameters.py | |
parent | de6a1248e2cd74f27434bb01867cf9fa073e8c8a (diff) |
Allow building with an external coqprime
Closes #363
Diffstat (limited to 'generate_parameters.py')
0 files changed, 0 insertions, 0 deletions