diff options
| author |  jesopo | 2019-07-03 14:04:36 +0100 |
|---|---|---|
| committer | jesopo | 2019-07-03 14:04:36 +0100 |
| commit | 61d354eb941e9a71dd9bbdd3913b6daea95fe820 (patch) | |
| tree | 630bef0db02eefe265d38f7d5177ece287e6d201 /src/Logging.py | |
| parent | Allow commands to append to out/err prefix (diff) | |
| signature | ||
use stdout.append_prefix to put user nickname in without color
Diffstat (limited to 'src/Logging.py')
0 files changed, 0 insertions, 0 deletions