Erik Arvstedt 9fc8cbf8e8 target: use default port from SSH config ... This is the expected behavior. The SSH config is also implicitly used for other SSH-related settings.		2021-11-20 14:28:54 +01:00
..
types	populate file: admit derivations	2021-10-26 13:52:25 +02:00
default.nix	target: use default port from SSH config	2021-11-20 14:28:54 +01:00