diff options
| author | Maxime Dénès | 2017-09-05 13:11:29 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-09-15 10:23:57 +0200 |
| commit | 587e556a909fcd2e1507a9230d9cdaffa3f9394e (patch) | |
| tree | c5e26f48a065b4515a1adc6ed7ecb14ec7495f63 /kernel/nativecode.ml | |
| parent | 6c678a68c081ce24bbdcb092db3f57ef7e171dac (diff) | |
Switch Travis to OSX 10.12 and Xcode 8.3.3.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions