diff options
| author | Enrico | 2017-10-20 10:12:45 +0200 |
|---|---|---|
| committer | GitHub | 2017-10-20 10:12:45 +0200 |
| commit | 8c2fca1bff01f78720b946fa42492a52ba60ea6f (patch) | |
| tree | 376a437731adece34c1ffbc5ccadfd487ba67a36 /etc | |
| parent | 76387e0ca14b449a75467334a3efa2730f471b2f (diff) | |
| parent | 30efd7b0ce2a272487b3937079c6dfe3f5877654 (diff) | |
Merge pull request #143 from RalfJung/coq-version
fix Coq version detection on Windows, and in case there are warnings
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions