diff options
| author | fpi | 2020-04-05 13:25:02 +0200 |
|---|---|---|
| committer | fpi | 2020-04-05 13:35:56 +0200 |
| commit | ea87d72f319ba932106eadbbfab76ad0be127dbd (patch) | |
| tree | d7c90422bdf93274c22294ded079b3300882f419 /.gitignore | |
| parent | Add another host to .ssh/config (diff) | |
Rewrite ssh_config hosts to be more generic
See https://serverfault.com/a/536073
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions