diff options
author | Damien Doligez <damien.doligez@inria.fr> | 2019-02-07 14:51:08 +0100 |
---|---|---|
committer | Damien Doligez <damien.doligez@inria.fr> | 2019-02-07 14:51:08 +0100 |
commit | 3ea0fe4b7e1ea6d02be60f824c5cc2ae8637f7ad (patch) | |
tree | 87c9670475ddc1bc52354c9e642e8cc1120c4c40 | |
parent | ee27086ef9a4bba08b671511a542d50ddcf5e355 (diff) | |
download | ocaml-4.08.0+beta1.tar.gz |
change VERSION for 4.08.0+beta14.08.0+beta1
-rw-r--r-- | VERSION | 2 | ||||
-rwxr-xr-x | boot/ocamlc | bin | 2618850 -> 2618854 bytes | |||
-rwxr-xr-x | boot/ocamllex | bin | 322646 -> 322636 bytes |
3 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -4.08.0+dev3-2019-02-07 +4.08.0+beta1 # The version string is the first line of this file. # It must be in the format described in stdlib/sys.mli diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex ad82f232dc..4225f2dd94 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex 1641135107..1c8e624a6d 100755 --- a/boot/ocamllex +++ b/boot/ocamllex |