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 | |
parent | 7cffbd64a0e0b59c3b5c432df7234b4a352282e0 (diff) | |
download | ocaml-cb6838c7c01984e1fcbd0979f41d6bbb74e7267b.tar.gz |
bootstrap
Diffstat (limited to 'boot')
-rwxr-xr-x | boot/ocamlc | bin | 3134763 -> 3133981 bytes |
-rwxr-xr-x | boot/ocamllex | bin | 382571 -> 382571 bytes |
2 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 diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex c84b7916fb..a95a9bba57 100755 --- a/boot/ocamllex +++ b/boot/ocamllex |