##// END OF EJS Templates
Merge branch 'master' into fix-rm-harcoded-colors
Merge branch 'master' into fix-rm-harcoded-colors

File last commit:

r25705:ad14ee33
r25902:21ac5592 merge
Show More
mypy.ini
4 lines | 82 B | text/x-ini | IniLexer
[mypy]
python_version = 3.6
ignore_missing_imports = True
follow_imports = silent