kitty.config is typed

2020-03-05 18:17:21 +05:30
parent 4ae59d3f77
commit a76a163db5
5 changed files with 52 additions and 34 deletions
--- a/setup.cfg
+++ b/setup.cfg
@@ -18,8 +18,6 @@ files = kitty,kittens,glfw/glfw.py,*.py

 [mypy-kitty.conf.*]
 check_untyped_defs = True
-follow_imports = silent

 [mypy-kitty.cli]
 check_untyped_defs = True
-follow_imports = silent