patch #7076
commit437658248e5884cbfb3cfcd6534e4f605f5ebf33
authorspiralvoice <spiralvoice>
Sat, 20 Mar 2010 13:30:37 +0000 (20 13:30 +0000)
committerspiralvoice <spiralvoice>
Sat, 20 Mar 2010 13:30:37 +0000 (20 13:30 +0000)
tree705b7c4c0c802aedb00dfe29f309c4814c36a151
parentf9a78abeb0380c2d828b43a9c79bbd281b72d2ba
patch #7076
config/configure.in
distrib/ChangeLog
src/config/unix/os_stubs_c.c
src/daemon/common/commonOptions.ml