summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMLJ <111659213+cryptomlj@users.noreply.github.com>2022-10-25 13:48:33 +0100
committerGitHub <noreply@github.com>2022-10-25 14:48:33 +0200
commit1b9a082eccce24ff1e8c81ae07495914faf2b6e7 (patch)
treecbcd5bf8ce3bdb17e2761e63ea67237740ba52d0 /.gitignore
parent9419186462accab60f38bee904984e3876764275 (diff)
downloadocaml-1b9a082eccce24ff1e8c81ae07495914faf2b6e7.tar.gz
Update CONTRIBUTING.md (#11664)
Words reconstruction and removing typo.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions