diff options
author | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2022-01-20 17:59:53 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-20 17:59:53 +0100 |
commit | e793bfa0c6c514bca62f2f30e1d5e3145603d9c5 (patch) | |
tree | 8268bc0e0f838f6b281ebbcb0246a42da89b5a00 /stdlib/stdlib.mli | |
parent | 3aaa9a7cf52b6980a850bfafde724157a783b98d (diff) | |
download | ocaml-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