patch #6727
commitbbd3e05946767c45802e6a8de9e7f58663f8ce23
authorspiralvoice <spiralvoice>
Tue, 20 Jan 2009 16:47:28 +0000 (20 16:47 +0000)
committerspiralvoice <spiralvoice>
Tue, 20 Jan 2009 16:47:28 +0000 (20 16:47 +0000)
tree12777af2df9cf75d4c53a2dc1a5180fa3c5f779a
parent5fc6f3935c895e68a57ff692649a6d0218aa4da5
patch #6727
distrib/ChangeLog
src/daemon/common/commonOptions.ml
src/daemon/common/commonTypes.ml