patch #7645
commit934b3a272cde602b24b67848aaee082ed3b07cd8
authorspiralvoice <spiralvoice>
Tue, 25 Oct 2011 18:00:54 +0000 (25 18:00 +0000)
committerspiralvoice <spiralvoice>
Tue, 25 Oct 2011 18:00:54 +0000 (25 18:00 +0000)
tree1f90a17554d772e8a528fb2a0ac6703a263366ee
parent65ec1c76a080739d5481c2b9df6ce1edf51d1f00
patch #7645
distrib/ChangeLog
src/networks/direct_connect/dcGlobals.ml
src/networks/direct_connect/dcInteractive.ml
src/networks/direct_connect/dcShared.ml