KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Dont run gen-config for diff kitten

Browse Source
This commit is contained in:
Kovid Goyal 2023-03-20 18:17:54 +05:30
parent 648925e83a
commit 6c503985ce
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
gen-config.py
View File

@ -49,9 +49,6 @@ def main() -> None:
patch_color_list('tools/cmd/at/set_colors.go', nullable_colors, 'NULLABLE') patch_color_list('tools/cmd/at/set_colors.go', nullable_colors, 'NULLABLE')
patch_color_list('tools/themes/collection.go', all_colors, 'ALL') patch_color_list('tools/themes/collection.go', all_colors, 'ALL')
from kittens.diff.options.definition import definition as kd
write_output('kittens.diff', kd)
if __name__ == '__main__': if __name__ == '__main__':
main() main()