diff options
| author | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2020-05-12 11:17:15 +0200 |
|---|---|---|
| committer | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2020-05-13 20:57:18 +0200 |
| commit | 6e3f710d78e7ed6799df4e82351acb26850d5a15 (patch) | |
| tree | 4180eeda43a3deb7b8bebe94f98cfeae14b02204 /boot | |
| parent | 4e33dcf35f35821748687d3fd328e30953e7a73b (diff) | |
| download | ocaml-6e3f710d78e7ed6799df4e82351acb26850d5a15.tar.gz | |
Bootstrap
Diffstat (limited to 'boot')
| -rwxr-xr-x | boot/ocamlc | bin | 2753822 -> 2752945 bytes |
| -rwxr-xr-x | boot/ocamllex | bin | 340149 -> 340190 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex a8ed8e6770..cc9d3f3173 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex 0087f158e6..56de255650 100755 --- a/boot/ocamllex +++ b/boot/ocamllex |