chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f0fc61c) | patch
otter cli: Rename --ssh-proxy-command option
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 1 Jun 2021 17:00:12 +0000 (18:00 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 1 Jun 2021 17:04:40 +0000 (18:04 +0100)
commit7d430d58183fd8ec7cb1837985b68802ef1782cd
treedd999b3ad88e155eabcac1742d6ec6a70bb7bd54tree | snapshot
parentf0fc61c79ace0d06dc1b8f787c68450fc434ad53commit | diff
otter cli: Rename --ssh-proxy-command option

This is shorter and more consistent.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/bin/otter.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.