]> git.vanrenterghem.biz Git - Dotty.git/commit
Update ssh config.
authorFrederik Vanrenterghem <frederik@vanrenterghem.biz>
Fri, 23 Dec 2022 12:47:58 +0000 (20:47 +0800)
committerFrederik Vanrenterghem <frederik@vanrenterghem.biz>
Fri, 23 Dec 2022 12:47:58 +0000 (20:47 +0800)
commit25d376d63c31306a31364c17580146798aa3721a
treea63d4ad6973fb2632efc788d8bfd35240c892da5
parent601a9c302e0293558728563fc2f8dc91a24a4d83
Update ssh config.
ssh/.ssh/config