summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2010-04-20 00:20:55 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2010-04-20 00:20:55 +0000
commit241db865e9bedbe767e8f76bcfa5383428775f0a (patch)
treebb999139c8ef4747a05b42503622be4c13dedc5c
parentae0362e9e2d835cd2b3836767457d72c12fcaebb (diff)
just bump the version number to dev18
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--VERSION2
1 files changed, 1 insertions, 1 deletions
diff --git a/VERSION b/VERSION
index 9d186bd04..53c2525b6 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-3.12.0+dev17 (2010-01-20)
+3.12.0+dev18 (2010-04-20)
# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli