diff options
| author | Théo Zimmermann | 2020-12-30 11:35:33 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-12-30 15:01:41 +0100 |
| commit | 83bce173cf47ce216b656f47cf5fa0215375e127 (patch) | |
| tree | f0edec3166c08dcf1945e9e4dedab0c5ec7f4692 /kernel/type_errors.ml | |
| parent | 30f648dc29958add42e7509a9c29f271f768e183 (diff) | |
Fix failing Windows CI builds.
Following a recent change in Cygwin.
Co-authored-by: Michael Soegtrop <michael.soegtrop@intel.com>
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions