diff options
| author | Joerg Jaspert <joerg@debian.org> | 2010-01-23 11:21:57 +0100 |
|---|---|---|
| committer | Joerg Jaspert <joerg@debian.org> | 2010-01-23 11:23:09 +0100 |
| commit | ccd86cba4b16862aaaa04a5a47d91576dfceb3cd (patch) | |
| tree | 032c451a765e70c50047b50b2f74f3695716a7a8 /etc | |
| parent | 5d9719e346af8580cb0e63227e83413fa2fa0f56 (diff) | |
pushpdo
actually honor SSH_OPTS variable
Signed-off-by: Joerg Jaspert <joerg@debian.org>
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions