diff options
author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-03-12 12:11:48 +0000 |
---|---|---|
committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-03-12 13:44:24 +0000 |
commit | 32489f9b77aaada0e74330450e97618bc44ae7a1 (patch) | |
tree | fa7bc624d2d5ffe5fd8800c6d4d3ce17c15d0136 /boot | |
parent | 0584e6798aac52210bb19aa9c08211113c9d1390 (diff) | |
download | ocaml-32489f9b77aaada0e74330450e97618bc44ae7a1.tar.gz |
Bootstrap
Diffstat (limited to 'boot')
-rwxr-xr-x | boot/ocamlc | bin | 3004913 -> 3004496 bytes |
-rwxr-xr-x | boot/ocamllex | bin | 372029 -> 372029 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex 743565cf41..a4de618e3e 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex b8b1c09be2..865c9c1315 100755 --- a/boot/ocamllex +++ b/boot/ocamllex |