summaryrefslogtreecommitdiffstats
path: root/otherlibs/str/str.mli
diff options
context:
space:
mode:
authorMaxence Guesdon <maxence.guesdon@inria.fr>2001-12-04 16:09:16 +0000
committerMaxence Guesdon <maxence.guesdon@inria.fr>2001-12-04 16:09:16 +0000
commita97296fe48058c6f2e36504cb16140c94e8387cb (patch)
treed4359d7c1695b0585f0b9e169cb6ecf081d512e7 /otherlibs/str/str.mli
parent69d5ded20407463aaf991c3c7be7df585ffe4097 (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