summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2010-06-07 15:17:18 +0000
committerDamien Doligez <damien.doligez-inria.fr>2010-06-07 15:17:18 +0000
commitf0588f76fd8418e326a13c233b50467ecddd0b9c (patch)
treefb5e37ab31f3406cb19fc69464f8c4fb4871e980
parentef38d5bf94c9b76befca1390e702c462994528d7 (diff)
forgot to change VERSION after branching
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10534 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--VERSION2
1 files changed, 1 insertions, 1 deletions
diff --git a/VERSION b/VERSION
index 738426160..ea53c1192 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-3.12.0+dev26 (2010-06-04)
+3.13.0+dev0 (2010-06-07)
# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli