summaryrefslogtreecommitdiff
path: root/VERSION
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2013-05-22 12:56:54 +0000
committerDamien Doligez <damien.doligez-inria.fr>2013-05-22 12:56:54 +0000
commitc3bf54a7b671bddfc1d8fd63e8221698f0e2b66a (patch)
treea70877e688c96878531ebad24f48f954bd6b14a5 /VERSION
parentccf56e3b2a20176a99d559229f39d4699db55fd4 (diff)
downloadocaml-c3bf54a7b671bddfc1d8fd63e8221698f0e2b66a.tar.gz
merge changes from version/4.00 from 4.00.1 to r13697
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13699 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'VERSION')
-rw-r--r--VERSION2
1 files changed, 1 insertions, 1 deletions
diff --git a/VERSION b/VERSION
index 77adf4d1ab..d8f88d131d 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.01.0+dev13-2013-04-18
+4.01.0+dev14-2013-05-22
# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli