derped 6c6d1d1b25 Switch from gnome-terminal to alacritty.		2020-07-01 14:53:03 +02:00
..
config	Switch from gnome-terminal to alacritty.	2020-07-01 14:53:03 +02:00