diff options
| author | Florian Angeletti <florian.angeletti@inria.fr> | 2020-10-19 15:33:26 +0200 |
|---|---|---|
| committer | Florian Angeletti <florian.angeletti@inria.fr> | 2020-10-19 15:33:26 +0200 |
| commit | 55973d1203e290709f30dcda443311fac0e371e1 (patch) | |
| tree | 4f027253acf962edd2a1ab6ea42ba97de045722e /boot | |
| parent | 7acf73f2b084981a1de703e0d1addc76523a0aa9 (diff) | |
| download | ocaml-55973d1203e290709f30dcda443311fac0e371e1.tar.gz | |
Bump magic numbers for 4.12 (and trunk)
Diffstat (limited to 'boot')
| -rwxr-xr-x | boot/ocamlc | bin | 2800925 -> 2806656 bytes |
| -rwxr-xr-x | boot/ocamllex | bin | 346045 -> 346073 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex 40d98b7b22..1b455eeb7f 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex 17a6ff5f9c..36e4c0e79a 100755 --- a/boot/ocamllex +++ b/boot/ocamllex |