diff options
Diffstat (limited to '.ssh/config')
| -rw-r--r-- | .ssh/config | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.ssh/config b/.ssh/config index 01b9330..e9925a1 100644 --- a/.ssh/config +++ b/.ssh/config @@ -30,3 +30,6 @@ Host anonscm.debian.org Hostname alioth.debian.org Host *.debian.org StrictHostKeyCHecking yes +Host ml + Hostname ftp.mathslibres.com + User mathslib |