aboutsummaryrefslogtreecommitdiff
path: root/bin/args.ml
diff options
context:
space:
mode:
authorChimrod <>2023-09-29 12:00:26 +0200
committerChimrod <>2023-09-29 12:00:26 +0200
commit7d1630227e3a0f35f3aa2c688474a742f23fdd05 (patch)
tree5c9dc80f49f7cbedb93e72e64fa2c0fc313dd548 /bin/args.ml
parent7296d72aaec9186cd0d0f2c46b226a38059dc3eb (diff)
Forgot that windows requires files to open in binary mode
Diffstat (limited to 'bin/args.ml')
0 files changed, 0 insertions, 0 deletions