diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-05-22 16:22:42 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-05-22 16:22:42 +0000 |
commit | b25e54af7aac98c472144f01ca8f87c738f50070 (patch) | |
tree | 7b868cfd9c88637223c16fd2709a862171cf589a | |
parent | d4335c35dc7f345d9e61d637fc9fe0308e0793a1 (diff) |
Version++
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@836 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 28cb1d2f8..118c3fdce 100644 --- a/utils/config.mlp +++ b/utils/config.mlp @@ -11,7 +11,7 @@ (* $Id$ *) -let version = "1.00" +let version = "1.01" let standard_library = try |