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