diff options
author | Guillaume Munch-Maccagnoni <Guillaume.Munch-Maccagnoni@inria.fr> | 2023-04-18 16:06:36 +0200 |
---|---|---|
committer | Guillaume Munch-Maccagnoni <Guillaume.Munch-Maccagnoni@inria.fr> | 2023-04-18 17:42:16 +0200 |
commit | b42a488f0b2d08483e54c7dd1d983398542184d7 (patch) | |
tree | e07f39f1498f998bba4ebe21010eeacdb789b73c /otherlibs/unix | |
parent | 4d5d29b6f6a005eed05a8b1d7c1fb8c710a760b8 (diff) | |
download | ocaml-b42a488f0b2d08483e54c7dd1d983398542184d7.tar.gz |
Clarification acq -> acquire, rel -> release
Diffstat (limited to 'otherlibs/unix')
0 files changed, 0 insertions, 0 deletions