Hans Goor 318848c4dd Remote SSH hosts should be the default.		2024-10-23 23:13:42 +02:00
..
dot-ssh	Remote SSH hosts should be the default.	2024-10-23 23:13:42 +02:00
config.sh	Refactor the install procedure and structure.	2024-09-01 16:16:05 +02:00