summaryrefslogtreecommitdiff
path: root/VERSION
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@inria.fr>2016-02-18 17:08:50 +0100
committerDamien Doligez <damien.doligez@inria.fr>2016-02-18 17:08:50 +0100
commitabb7720b5ec6861608337aeba2323af8a7a1d504 (patch)
treef446e63b80e6e9ae927d94afb13d11c7e6707151 /VERSION
parent627ef6a11d3851774b8b6c827942cea67e7c0210 (diff)
downloadocaml-abb7720b5ec6861608337aeba2323af8a7a1d504.tar.gz
first commit on branch 4.03
Diffstat (limited to 'VERSION')
-rw-r--r--VERSION2
1 files changed, 1 insertions, 1 deletions
diff --git a/VERSION b/VERSION
index 96ec40c031..d4233bd368 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.03.0+dev13-2016-02-18
+4.03.0+dev14-2016-02-18
# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli