diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-06-30 13:39:12 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-06-30 13:39:12 +0200 |
commit | 35e0f327405fb659c7ec5f9f7d26ea284aa45810 (patch) | |
tree | f49b15b951e8f53ddc90fd4363865ed5e45987e4 /test-suite/failure | |
parent | 654a7b390f4062d9962e42d83537aa520fe82f2b (diff) | |
parent | 178004b174a4920118479b59900066b681326492 (diff) |
Merge PR#846: Fix OS X Travis by pinning OCaml version.
Diffstat (limited to 'test-suite/failure')
0 files changed, 0 insertions, 0 deletions