diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-10-07 16:28:55 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-10-07 16:31:28 +0200 |
commit | 0809a4f783d2e1e68b1562132c87daf0077158a6 (patch) | |
tree | 7ccb8da35707fc6624f49f3cd3e6863ae9c2d9b9 /parsing/pcoq.mli | |
parent | e22bc3f687533aec3ae28a0ef0ffab74096d7b26 (diff) |
Revert "Switch Travis to OSX 10.12 and Xcode 8.3.3."
This reverts commit 587e556a909fcd2e1507a9230d9cdaffa3f9394e from PR #1024.
This commit did not solve any issue at the time it was merged but made the
macOS package we produce compatible only with macOS 10.12 and later.
Diffstat (limited to 'parsing/pcoq.mli')
0 files changed, 0 insertions, 0 deletions