summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2000-01-24 16:21:30 +0000
committerDamien Doligez <damien.doligez-inria.fr>2000-01-24 16:21:30 +0000
commitae1b539603c20a183699edc42b63f12b67656206 (patch)
tree4e42d7093f527a18e5029db2e6d9b825daad02c5
parent57872a7078627c5f397081b703c459f0699897f8 (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.mlp2
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