diff options
author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2001-12-04 16:09:16 +0000 |
---|---|---|
committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2001-12-04 16:09:16 +0000 |
commit | a97296fe48058c6f2e36504cb16140c94e8387cb (patch) | |
tree | d4359d7c1695b0585f0b9e169cb6ecf081d512e7 /otherlibs/str/str.mli | |
parent | 69d5ded20407463aaf991c3c7be7df585ffe4097 (diff) |
commentaires après
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4097 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/str/str.mli')
0 files changed, 0 insertions, 0 deletions