patch #8415
commite43aa31a7472fa68d8075c27a0b8e1ebd08c86df
authorspiralvoice <spiralvoice>
Sat, 22 Mar 2014 11:04:26 +0000 (22 11:04 +0000)
committerspiralvoice <spiralvoice>
Sat, 22 Mar 2014 11:04:26 +0000 (22 11:04 +0000)
tree90dd138baa0ba0a2a5268d5a24e2e1d8437523a7
parent12025a3fa30ba7a92485e89e48f9012779b70bdf
patch #8415
distrib/ChangeLog
src/daemon/common/commonMessages.ml
src/daemon/driver/driverCommands.ml
src/daemon/driver/driverControlers.ml
src/utils/lib/gettext.ml4
src/utils/lib/gettext.mli