diff options
author | Robby Russell <robby@planetargon.com> | 2013-03-26 21:47:00 -0700 |
---|---|---|
committer | Robby Russell <robby@planetargon.com> | 2013-03-26 21:47:00 -0700 |
commit | b0d80a0175e0a5c38ff824b3a80e09d4c386244c (patch) | |
tree | 353ea83c8b0ce55085cc3a4e997861a1d646a098 /tools | |
parent | 0b5d983897b7972a551237665ee2905272974c8d (diff) | |
parent | 2a1c9ff340401ca63efd846ed626903d72771c25 (diff) | |
download | zsh-b0d80a0175e0a5c38ff824b3a80e09d4c386244c.tar.gz zsh-b0d80a0175e0a5c38ff824b3a80e09d4c386244c.tar.bz2 zsh-b0d80a0175e0a5c38ff824b3a80e09d4c386244c.zip |
Merge pull request #1664 from marcel-wolf/master
add ssh-agent option to set default lifetime for identities
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions