diff options
author | Pierre Weis <Pierre.Weis@inria.fr> | 2007-10-04 20:59:04 +0000 |
---|---|---|
committer | Pierre Weis <Pierre.Weis@inria.fr> | 2007-10-04 20:59:04 +0000 |
commit | 39b7b8bc24c0fc89dfbb38c4a74bb73a6fc6bd6d (patch) | |
tree | 0adce5d6eb2fa20214e55c348c20d4cd194205c3 | |
parent | 8e5fb9bb75db1bccfd06b3116d7b0fe9132b3184 (diff) |
Version date
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8408 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -3.11+dev2 (2007-05-08) +3.11+dev3 (2007-10-04) # The version string is the first line of this file. # It must be in the format described in stdlib/sys.mli |