Fernando Schauenburg 068bccca57 Update playground SSH alias ... This requires the local key (fernandos@N17FERNANDOS3) to be added to ~/.ssh/authorized_keys but uses a more standard and straightforward way to connect via SSH. Also, we now connect via a host-only network. This makes us independent from any port forwarding later.		2020-03-05 10:20:37 +01:00
..
files	Update playground SSH alias	2020-03-05 10:20:37 +01:00
tasks	Remove optional --- from YAML files	2019-11-16 12:32:43 +00:00