summaryrefslogtreecommitdiffstats
path: root/stdlib
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2008-10-08 13:05:48 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2008-10-08 13:05:48 +0000
commit29e590ccb9fe1a9330a6809a972a0e84e80653f7 (patch)
tree7195bde849ab4ce9afbb92982623ad0ad194fb12 /stdlib
parent49bea294c71dcda247c45b845060ce361ec36813 (diff)
Attribution.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9078 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
0 files changed, 0 insertions, 0 deletions