diff options
author | 2017-06-30 13:39:12 +0200 | |
---|---|---|
committer | 2017-06-30 13:39:12 +0200 | |
commit | 35e0f327405fb659c7ec5f9f7d26ea284aa45810 (patch) | |
tree | f49b15b951e8f53ddc90fd4363865ed5e45987e4 /dev/ci | |
parent | 654a7b390f4062d9962e42d83537aa520fe82f2b (diff) | |
parent | 178004b174a4920118479b59900066b681326492 (diff) |
Merge PR#846: Fix OS X Travis by pinning OCaml version.
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions