##// END OF EJS Templates
Merge pull request #13768 from osherdp/feature/raise-when-opening-standard-streams...
Merge pull request #13768 from osherdp/feature/raise-when-opening-standard-streams raise an error when user tries to open a standard stream

File last commit:

r27123:4a68e2c9
r27861:93992a7e merge
Show More
mypy.ini
4 lines | 82 B | text/x-ini | IniLexer
[mypy]
python_version = 3.8
ignore_missing_imports = True
follow_imports = silent