diff options
| author | Théo Zimmermann | 2017-12-14 20:55:13 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2017-12-15 10:05:39 +0100 |
| commit | 4ac4ff8b7f01f90a0c6a1703ce125cd1369eea4e (patch) | |
| tree | a7745a293fad2740976a741cd304c0ed0a52715b /API/API.mllib | |
| parent | b270ad686075e5579dc3826fafdc324ea339785c (diff) | |
Compatibility of the Coq macOS package with OS X 10.11.
Travis has moved on to macOS 10.12 but this makes the package
incompatible with earlier versions.
This fix should restore the compatibility with OS X 10.11.
Diffstat (limited to 'API/API.mllib')
0 files changed, 0 insertions, 0 deletions