diff options
| author | Ralf Jung | 2017-10-10 16:21:00 +0200 |
|---|---|---|
| committer | Ralf Jung | 2017-10-10 16:59:14 +0200 |
| commit | 8330c0b1da55a29d0b23dc452f4749be52cc3e8e (patch) | |
| tree | 81ad05ac2e99381f8fb89fc9cfe0b7038d836b5a /API | |
| parent | b6d4575e39d32d276bed84ccb6b2b67a2e7bccb6 (diff) | |
Fix BZ#5780: coq_makefile broken under Cygwin
Diffstat (limited to 'API')
0 files changed, 0 insertions, 0 deletions