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 /.gitignore | |
| parent | 654a7b390f4062d9962e42d83537aa520fe82f2b (diff) | |
| parent | 178004b174a4920118479b59900066b681326492 (diff) | |
Merge PR#846: Fix OS X Travis by pinning OCaml version.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions