Martin Herkt 11eaa52529 options: rename msg-related options ... --msgcolor → --msg-color --msglevel → --msg-level --msgmodule → --msg-module --msgtime → --msg-time (also document this one) --playing-msg → --term-playing-msg --status-msg → --term-status-msg		2014-05-04 02:46:11 +02:00
..
en	options: rename msg-related options	2014-05-04 02:46:11 +02:00