diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2003-02-24 18:36:16 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2003-02-24 18:36:16 +0000 |
commit | c517632cb20ca21542ab307beb6a92ef42fd35eb (patch) | |
tree | d14d22c9b3195b99248eb0d9cef6a5328b459178 /stdlib/stringLabels.ml | |
parent | 2d4c4aadedd34f4f2cac8a9f6d593691d2b0dd5b (diff) |
ameliorations
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5403 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/stringLabels.ml')
0 files changed, 0 insertions, 0 deletions