diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2010-06-04 16:44:08 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2010-06-04 16:44:08 +0000 |
| commit | f5c2201cc0d73efee1497bf90896ce64c7f28b7e (patch) | |
| tree | 0639386905fe89b27eebb9ab56e369ad3fa4654f /VERSION | |
| parent | ef6ed63a782beb38a1be9fc4b5a1e904de93b741 (diff) | |
PR#5062
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10498 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'VERSION')
| -rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -3.12.0+dev25 (2010-05-20) +3.12.0+dev26 (2010-06-04) # The version string is the first line of this file. # It must be in the format described in stdlib/sys.mli |