Von Random 18f8a1f454 kitty: some font changes		2023-02-23 20:53:10 +02:00
..
alacritty	kitty, alacritty: fonts	2023-02-17 19:39:07 +02:00
kitty	kitty: some font changes	2023-02-23 20:53:10 +02:00