diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-12-07 10:37:18 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-12-07 10:37:18 +0100 |
| commit | c8f6903de4d9debb3fe38755a3f5e7b558a014e2 (patch) | |
| tree | a3fcda963f4c448b3a56b17cb4c861acdbd4ab61 /tools | |
| parent | f6751c59467e3a25f9318a1f8b74f768924f4892 (diff) | |
| parent | 9c0f36adac233efb1164ef88c86c78c7509d8b2c (diff) | |
Merge PR #6277: Qualified import in coqchk
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions