Von Random 68e98d314f kitty: disable resize_in_steps		2023-03-06 17:55:33 +02:00
..
alacritty	kitty, alacritty: fonts	2023-02-17 19:39:07 +02:00
kitty	kitty: disable resize_in_steps	2023-03-06 17:55:33 +02:00