diff options
author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-10-08 15:35:56 +0100 |
---|---|---|
committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-10-08 15:35:56 +0100 |
commit | cb6838c7c01984e1fcbd0979f41d6bbb74e7267b (patch) | |
tree | d6a924733e3a2e3b976c73325e2e234cab654cc9 /boot/ocamlc | |
parent | 7cffbd64a0e0b59c3b5c432df7234b4a352282e0 (diff) | |
download | ocaml-cb6838c7c01984e1fcbd0979f41d6bbb74e7267b.tar.gz |
bootstrap
Diffstat (limited to 'boot/ocamlc')
-rwxr-xr-x | boot/ocamlc | bin | 3134763 -> 3133981 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex 3041bf9399..788784ec8e 100755 --- a/boot/ocamlc +++ b/boot/ocamlc |