summaryrefslogtreecommitdiff
path: root/stdlib/stdlib.mli
diff options
context:
space:
mode:
authorNicolás Ojeda Bär <n.oje.bar@gmail.com>2022-01-20 17:59:53 +0100
committerGitHub <noreply@github.com>2022-01-20 17:59:53 +0100
commite793bfa0c6c514bca62f2f30e1d5e3145603d9c5 (patch)
tree8268bc0e0f838f6b281ebbcb0246a42da89b5a00 /stdlib/stdlib.mli
parent3aaa9a7cf52b6980a850bfafde724157a783b98d (diff)
downloadocaml-e793bfa0c6c514bca62f2f30e1d5e3145603d9c5.tar.gz
Fix Changes, test following {Int32,Int64,Nativeint}.format removal (#10923)
Diffstat (limited to 'stdlib/stdlib.mli')
0 files changed, 0 insertions, 0 deletions