Donovan Glover 5ca492277b kitty: Decrease window margin width ... This increases the amount of available space we have to work with kitty windows.		2018-12-06 01:52:45 -05:00
..
kitty	kitty: Decrease window margin width	2018-12-06 01:52:45 -05:00
wal/templates	kitty: Use distinguishable border colors	2018-12-06 01:37:18 -05:00