diff options
| author | Vincent Laporte | 2019-05-17 12:23:15 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-05-17 12:23:15 +0000 |
| commit | a5dc22c471e299ef2ff288eedabf8b63dc3a2bce (patch) | |
| tree | 3c427182d76574fa399353909c04c57078beb8d8 /kernel/type_errors.mli | |
| parent | e9c2bc9aaddd401d18d90411ff68644b1d05c0d5 (diff) | |
[CI/Azure/macOS] Target macOS version 10.11
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions