mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-15 21:14:35 +02:00
Code Issues Packages Projects Releases Wiki Activity

Minor strictness increases

Browse Source
This commit is contained in:
Kovid Goyal
2020-03-14 14:59:31 +05:30
parent 5f06d3a427
commit c912eef040
10 changed files with 31 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
kittens/diff/main.py
View File

@@ -591,5 +591,5 @@ elif __name__ == '__doc__':
cd['options'] = OPTIONS
cd['help_text'] = help_text
elif __name__ == '__conf__':
from .config import all_options
from .config_data import all_options
sys.all_options = all_options # type: ignore