summaryrefslogtreecommitdiffstats
path: root/otherlibs/unix
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1995-09-04 12:05:50 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1995-09-04 12:05:50 +0000
commit6ce2dd362f1ebda783ebbb2aa855f5b149c0240e (patch)
treef2283873648ef27c78a3dbbcd12ff501c6cff60f /otherlibs/unix
parent59cf50795583b4308a541ab85bd636ddfc9042ce (diff)
Une ligne inutile.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@241 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix')
0 files changed, 0 insertions, 0 deletions