diff options
author | Dave Davenport <DaveDavenport@users.noreply.github.com> | 2015-10-31 19:14:20 +0100 |
---|---|---|
committer | Dave Davenport <DaveDavenport@users.noreply.github.com> | 2015-10-31 19:14:20 +0100 |
commit | b454791ccdf1e8ce2e2b15b334e63aa6ca719bb7 (patch) | |
tree | a7fed78a2b5515ee09fd6c0def03e651950f0410 /script/rofi-sensible-terminal | |
parent | 02b99e6f95edf512a5048732e3389b371684c7a2 (diff) | |
parent | 9cb0073ce896f7ce598bf7db630f4f3c0a0640a2 (diff) |
Merge pull request #257 from klemens/no-parse-known-hosts
Add -no-parse-known-hosts option
Diffstat (limited to 'script/rofi-sensible-terminal')
0 files changed, 0 insertions, 0 deletions