summaryrefslogtreecommitdiffstats
path: root/otherlibs/unix
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1995-10-31 10:47:50 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1995-10-31 10:47:50 +0000
commit9288d6fc81a58a86ae21a5a731b18e1417512ff7 (patch)
tree3eaf0cc78dada64196a5ff361f082c69936ca6fe /otherlibs/unix
parent62d65b8e2b4b7fffb7ab54856939aef587738552 (diff)
Oubli.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@379 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix')
0 files changed, 0 insertions, 0 deletions