diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2000-01-24 16:21:30 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2000-01-24 16:21:30 +0000 |
commit | ae1b539603c20a183699edc42b63f12b67656206 (patch) | |
tree | 4e42d7093f527a18e5029db2e6d9b825daad02c5 | |
parent | 57872a7078627c5f397081b703c459f0699897f8 (diff) |
reprenons un systeme de numeros de versions qui marche
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2767 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | utils/config.mlp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/config.mlp b/utils/config.mlp index 6c3d411ed..dc127dc2e 100644 --- a/utils/config.mlp +++ b/utils/config.mlp @@ -12,7 +12,7 @@ (* $Id$ *) -let version = "2.99 (2000/01/08)" +let version = "2.99+2" let standard_library = try |