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