kitty/kittens/hints
2018-08-04 20:58:01 +05:30
..
__init__.py Rename url_hints to just hints 2018-04-12 09:23:48 +05:30
main.py Use ctermid() instead of hardcoding /dev/tty 2018-08-04 20:58:01 +05:30
url_regex.py Ignore the non-characters from the unicode standard in addition to ignoring the control characters 2018-06-14 10:20:13 +05:30