diff options
Diffstat (limited to 'cluster/prod/ssh_config')
| -rw-r--r-- | cluster/prod/ssh_config | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/cluster/prod/ssh_config b/cluster/prod/ssh_config deleted file mode 100644 index cb4841f..0000000 --- a/cluster/prod/ssh_config +++ /dev/null @@ -1,10 +0,0 @@ -UserKnownHostsFile ./ssh_known_hosts - -Host concombre - HostName 2a01:e0a:c:a720::31 - -Host courgette - HostName 2a01:e0a:c:a720::32 - -Host celeri - HostName 2a01:e0a:c:a720::33 |