mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-05 23:51:29 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
dd5715ce7909181d72587da99c32aac098be618a
kitty/kittens/remote_file
History
Kovid Goyal c827a29a7b Use the new get_options() function 
Nicer than carrying around opts objects everywhere
2021-05-24 12:29:11 +05:30
..
__init__.py
…
main.py
Use the new get_options() function
2021-05-24 12:29:11 +05:30