diff options
author | 2015-07-08 13:32:43 -0700 | |
---|---|---|
committer | 2015-07-08 13:32:43 -0700 | |
commit | fc1a49a7354696a56f0065880a2d4a209516f774 (patch) | |
tree | f2b3f8468758f7e17f99e8cfad990e3e06f1f661 /tools/README.md | |
parent | 874e5f87ff5a0129d24dd22b373071fe1c3dcdce (diff) | |
parent | a29d2d7c33c4dce9a566f1acd190bbea56a1ad13 (diff) |
Merge pull request #2331 from vjpai/tty
Don't send terminal escapes if we're outputing to a file
Diffstat (limited to 'tools/README.md')
0 files changed, 0 insertions, 0 deletions