Skip to content

GitLab

Merged
Created by Jérome Perrin@jeromeOwner

Drop "ignore-known-hosts-file" option

This was added for reasons that are not true anymore

Edited by Jérome Perrin
GitLab Nexedi Edition | About GitLab | About Nexedi | 沪ICP备2021021310号-2 | 沪ICP备2021021310号-7