diff options
| author | Maxime Dénès | 2017-09-19 10:03:20 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-09-19 10:03:20 +0200 |
| commit | 5221888d718aca13e41c570478888266d867665b (patch) | |
| tree | b4f744b710c4fe4106ccd4e68fa5fffda64204ca /API/API.mli | |
| parent | dd4a532455258badbc057b3780bf99e556d8c07a (diff) | |
| parent | c7465d2ecb69e64613dd38b262f5e78ecad99de1 (diff) | |
Merge PR #1024: Switch Travis to OSX 10.12 and Xcode 8.3.3.
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions