diff options
author | 2018-07-11 09:25:46 -0400 | |
---|---|---|
committer | 2018-07-21 03:40:18 +0100 | |
commit | cb1449271906998bb29c00d68c0bee4b58d2803c (patch) | |
tree | e777fb67aed388e698fbbf3efd6d79cbf724862f /src | |
parent | de6a1248e2cd74f27434bb01867cf9fa073e8c8a (diff) |
Allow building with an external coqprime
Closes #363
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions