diff options
author | 2015-07-13 13:06:09 +0200 | |
---|---|---|
committer | 2015-07-13 13:06:09 +0200 | |
commit | 0d35c78a6cf4a155ec32ccc07ce7ec80bf1e4318 (patch) | |
tree | 1b7526ad51487561f49d90a1e550298fe0d4b76c /DOCS/man | |
parent | 9b15c99aa13acdbb3e86fbb3395ad107b436fdaa (diff) |
player: put --term-playing-msg in a separate log category
Fixes #1983.
Diffstat (limited to 'DOCS/man')
0 files changed, 0 insertions, 0 deletions