diff options
| author | Maxime Dénès | 2017-06-21 14:51:42 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2017-07-20 15:40:48 +0200 |
| commit | 9682fea9f71477af58681735d8829507991d27c5 (patch) | |
| tree | 56a5b6647c990bc9c8b919f07cb5c91abd90b549 /API/API.ml | |
| parent | 7af3bdf56f278e8928df7bdf63fddd159be610ec (diff) | |
Make coqlib relative in test suite (revert 024a7ab20b0)
Diffstat (limited to 'API/API.ml')
0 files changed, 0 insertions, 0 deletions