diff options
Diffstat (limited to '.ssh/config')
| -rw-r--r-- | .ssh/config | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.ssh/config b/.ssh/config index 77a1e11..ee46145 100644 --- a/.ssh/config +++ b/.ssh/config @@ -4,6 +4,7 @@ Host gbmor Host institute inst HostName tilde.institute + User gbmor Host crawl HostName crawl.tildeverse.org |