diff options
| author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-03-08 17:30:22 +0000 |
|---|---|---|
| committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-03-08 17:30:22 +0000 |
| commit | 33c01bc5c42e3d2272a21199df56dca259aedb9e (patch) | |
| tree | 589acc2c9639f8e9ef577f438937bc14a5f3b5ae /boot | |
| parent | a1af1cebfe2a5334a1f9121ce0019659a4475ebc (diff) | |
| download | ocaml-33c01bc5c42e3d2272a21199df56dca259aedb9e.tar.gz | |
bootstrap (incl final removals of prims)
Diffstat (limited to 'boot')
| -rwxr-xr-x | boot/ocamlc | bin | 2997022 -> 3003606 bytes |
| -rwxr-xr-x | boot/ocamllex | bin | 371723 -> 372546 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex 6b181af8b1..68627d48f4 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex be30fc013a..5fe287f2ea 100755 --- a/boot/ocamllex +++ b/boot/ocamllex |