##// END OF EJS Templates
Prevent the terminal title from being set if the output is not a tty...
Prevent the terminal title from being set if the output is not a tty Fixes #11482

File last commit:

r11010:72ecc660
r27830:033545a9
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer