diff options
author | Chimrod <> | 2023-09-29 12:00:26 +0200 |
---|---|---|
committer | Chimrod <> | 2023-09-29 12:00:26 +0200 |
commit | 7d1630227e3a0f35f3aa2c688474a742f23fdd05 (patch) | |
tree | 5c9dc80f49f7cbedb93e72e64fa2c0fc313dd548 /syntax/tree.mli | |
parent | 7296d72aaec9186cd0d0f2c46b226a38059dc3eb (diff) |
Forgot that windows requires files to open in binary mode
Diffstat (limited to 'syntax/tree.mli')
0 files changed, 0 insertions, 0 deletions