diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2020-02-19 01:28:02 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2020-02-19 01:28:02 +0300 |
| commit | a4b77d93b9047766c71f0147e08da58b468aabf6 (patch) | |
| tree | 615d5051aa37cd9fd9922529e66375cd2951033f /%HOME%/.ghci | |
| parent | .ssh/config: git@ by default (diff) | |
| download | linux-home-a4b77d93b9047766c71f0147e08da58b468aabf6.tar.gz linux-home-a4b77d93b9047766c71f0147e08da58b468aabf6.zip | |
.ssh/config: tensin.vpn + /dev/null instead of known_hosts
Diffstat (limited to '%HOME%/.ghci')
0 files changed, 0 insertions, 0 deletions