aboutsummaryrefslogtreecommitdiffhomepage
path: root/library
diff options
context:
space:
mode:
authorGravatar Maxime Dénès <mail@maximedenes.fr>2017-06-30 13:39:12 +0200
committerGravatar Maxime Dénès <mail@maximedenes.fr>2017-06-30 13:39:12 +0200
commit35e0f327405fb659c7ec5f9f7d26ea284aa45810 (patch)
treef49b15b951e8f53ddc90fd4363865ed5e45987e4 /library
parent654a7b390f4062d9962e42d83537aa520fe82f2b (diff)
parent178004b174a4920118479b59900066b681326492 (diff)
Merge PR#846: Fix OS X Travis by pinning OCaml version.
Diffstat (limited to 'library')
0 files changed, 0 insertions, 0 deletions