Andreas Zweili 8f7e37ae9e Make bold bold in alacritty		2023-09-07 19:36:02 +02:00
..
modules	Make bold bold in alacritty	2023-09-07 19:36:02 +02:00
profiles	Don't use mosh for the connection to the local VM	2023-08-24 12:18:19 +02:00