summaryrefslogtreecommitdiff
path: root/Changes
diff options
context:
space:
mode:
authorNicolás Ojeda Bär <n.oje.bar@gmail.com>2023-05-15 17:25:38 +0200
committerNicolás Ojeda Bär <n.oje.bar@gmail.com>2023-05-15 17:26:02 +0200
commit3358a2eb61128fff9d6f28466d7d50c1bf1ee24d (patch)
tree1a7ff9cb2efd8dfa6ed3fae9e0207981b418c376 /Changes
parent780d018f5593d231ba309fecb6a7dd775ecf7bbe (diff)
downloadocaml-3358a2eb61128fff9d6f28466d7d50c1bf1ee24d.tar.gz
Fix check-typo
Diffstat (limited to 'Changes')
0 files changed, 0 insertions, 0 deletions