diff options
author | Nicolas Pouillard <np@nicolaspouillard.fr> | 2007-02-07 09:52:28 +0000 |
---|---|---|
committer | Nicolas Pouillard <np@nicolaspouillard.fr> | 2007-02-07 09:52:28 +0000 |
commit | b100c4375327133a0af2da7590609cbf21fdbbb9 (patch) | |
tree | 9c03c40bc5c41cf0845bc1f7cd6f5e5ed57d9e85 /otherlibs/win32unix/dllunix.dlib | |
parent | 1f4ac92f806784f6a9a7199decde2d7cfcb79b03 (diff) |
Add many .mllib .mlpack .clib .dlib files
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7825 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/dllunix.dlib')
-rw-r--r-- | otherlibs/win32unix/dllunix.dlib | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/otherlibs/win32unix/dllunix.dlib b/otherlibs/win32unix/dllunix.dlib new file mode 100644 index 000000000..01ffc59e6 --- /dev/null +++ b/otherlibs/win32unix/dllunix.dlib @@ -0,0 +1,16 @@ +# Files in this directory +accept.d.o bind.d.o channels.d.o close.d.o +close_on.d.o connect.d.o createprocess.d.o dup.d.o dup2.d.o errmsg.d.o +getpeername.d.o getpid.d.o getsockname.d.o gettimeofday.d.o +link.d.o listen.d.o lockf.d.o lseek.d.o nonblock.d.o +mkdir.d.o open.d.o pipe.d.o read.d.o rename.d.o +select.d.o sendrecv.d.o +shutdown.d.o sleep.d.o socket.d.o sockopt.d.o startup.d.o stat.d.o +system.d.o unixsupport.d.o windir.d.o winwait.d.o write.d.o + +# Files from the ../unix directory +access.d.o addrofstr.d.o chdir.d.o chmod.d.o cst2constr.d.o +cstringv.d.o envir.d.o execv.d.o execve.d.o execvp.d.o +exit.d.o getcwd.d.o gethost.d.o gethostname.d.o getproto.d.o +getserv.d.o gmtime.d.o putenv.d.o rmdir.d.o +socketaddr.d.o strofaddr.d.o time.d.o unlink.d.o utimes.d.o |