diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-03-15T15·08+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2018-03-15T15·08+0100 |
| commit | 486872150638d56483c2bc429ba9e137d9974ee8 (patch) | |
| tree | 469f6346618c2fbe1eb2e4282ef7e6cc90c01ff5 /doc/manual/manual.xml | |
| parent | 7b8914825a6b02173976eae0ca59053085d4b20a (diff) | |
Filter ANSI colors when not writing to a terminal
Fixes https://github.com/NixOS/nixpkgs/issues/37114.
Diffstat (limited to 'doc/manual/manual.xml')
0 files changed, 0 insertions, 0 deletions