patch #7954
commit824ec2e576320bdcda5508313c2a79674036826c
authorspiralvoice <spiralvoice>
Sun, 7 Jul 2013 10:53:52 +0000 (7 10:53 +0000)
committerspiralvoice <spiralvoice>
Sun, 7 Jul 2013 10:53:52 +0000 (7 10:53 +0000)
tree768a935eba7ce4f498e1a39432fb7ee75eb64619
parent332983020b870fcf31ad342e325c3b24fea5a45b
patch #7954
distrib/ChangeLog
src/utils/cdk/unix2.ml