patch #7219
commit9e35304a43e0af45cea2f26af24877f09f1642fb
authorspiralvoice <spiralvoice>
Fri, 16 Jul 2010 13:56:35 +0000 (16 13:56 +0000)
committerspiralvoice <spiralvoice>
Fri, 16 Jul 2010 13:56:35 +0000 (16 13:56 +0000)
tree277ec8904a6f8efeb54e543ddcca5acda34cb31e
parent8e7e7ec73e0330a50ffd4385cbfd8a2d47e0cb3e
patch #7219
distrib/ChangeLog
src/config/mingw/os_stubs_c.c
src/config/unix/os_stubs_c.c
src/utils/cdk/unix2.ml
src/utils/lib/options.ml4
src/utils/lib/os_stubs.h
src/utils/lib/stubs_c.c