summaryrefslogtreecommitdiff
path: root/manual/src
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2022-06-07 10:43:48 +0100
committerGitHub <noreply@github.com>2022-06-07 10:43:48 +0100
commit1aaeb19bc15705035b9399d2feb7caef4a76ffcd (patch)
tree661d08a520e2c08a56c752a717c1a9bfa3bb2892 /manual/src
parentf1bd08ee6c0013835d869c1f05a4f4ffb0dbd39c (diff)
parent05ebb0f1cd49949e6d15528fff75039261301994 (diff)
downloadocaml-1aaeb19bc15705035b9399d2feb7caef4a76ffcd.tar.gz
Merge pull request #11253 from dra27/ocaml-foo-deprecation
Start the release of the `ocaml` command for other purposes
Diffstat (limited to 'manual/src')
0 files changed, 0 insertions, 0 deletions