patch #7245
commitf24611293ff13de00f483dc6d0a025b32aec2b42
authorspiralvoice <spiralvoice>
Fri, 16 Jul 2010 13:58:39 +0000 (16 13:58 +0000)
committerspiralvoice <spiralvoice>
Fri, 16 Jul 2010 13:58:39 +0000 (16 13:58 +0000)
treec74a921678b79a39b6233d300af418571c684358
parent9e07623f80b20fa487692dbf349e37dc1a9233fd
patch #7245
distrib/ChangeLog
src/daemon/common/commonMessages.ml
src/daemon/driver/driverCommands.ml