diff options
author | Jeremy Yallop <yallop@gmail.com> | 2020-07-18 12:44:46 +0100 |
---|---|---|
committer | Jeremy Yallop <yallop@gmail.com> | 2020-07-18 12:45:32 +0100 |
commit | 1c9e1e0811f9ac231c789fd9dfd4a1236acae7d2 (patch) | |
tree | 23aaa201685318f14b5ae082ad6ea3c4ca9c2a14 /boot | |
parent | 131099adc34603179aeeb0c7a73b3593a7a5aa81 (diff) | |
download | ocaml-1c9e1e0811f9ac231c789fd9dfd4a1236acae7d2.tar.gz |
Bootstrap
Diffstat (limited to 'boot')
-rwxr-xr-x | boot/ocamlc | bin | 2774060 -> 2792067 bytes |
-rwxr-xr-x | boot/ocamllex | bin | 344762 -> 344746 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex c337f40127..0a51e76fdc 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex ea30e37eb4..f3c9c7a675 100755 --- a/boot/ocamllex +++ b/boot/ocamllex |