diff options
| author | Hans Bolinder <[email protected]> | 2019-02-25 16:12:00 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2019-02-25 16:12:00 +0100 |
| commit | 42f0f3fcbce009e56270fdccdb6f0a85e3b4b368 (patch) | |
| tree | 460000ee4b1284085deab2df5d147cd7eabf8aa0 /lib/syntax_tools | |
| parent | 9ff209580d4d9b26ae62055c3a8fbcef784a1622 (diff) | |
| parent | 4657060caaf43c40aae70225156db94805178bf8 (diff) | |
| download | otp-42f0f3fcbce009e56270fdccdb6f0a85e3b4b368.tar.gz otp-42f0f3fcbce009e56270fdccdb6f0a85e3b4b368.tar.bz2 otp-42f0f3fcbce009e56270fdccdb6f0a85e3b4b368.zip | |
Merge branch 'siri/rsh-ssh/PR-1787'
OTP-15633
* siri/rsh-ssh/PR-1787:
Fix some missed comments about rsh
Document the restrictions on the -rsh command
Use ssh as the default remote shell
Diffstat (limited to 'lib/syntax_tools')
0 files changed, 0 insertions, 0 deletions