diff options
author | Michael K. Schmidt <[email protected]> | 2014-07-22 15:59:15 -0500 |
---|---|---|
committer | Michael K. Schmidt <[email protected]> | 2014-07-23 15:09:45 -0500 |
commit | 375e6da4a0daa6592a418ecb53afa37aa186f38f (patch) | |
tree | 380ca9af8766dae067c2412981666d5eed9aad93 /make/cross_check_erl | |
parent | 172e812c491680fbb175f56f7604d4098cdc9de4 (diff) | |
download | otp-375e6da4a0daa6592a418ecb53afa37aa186f38f.tar.gz otp-375e6da4a0daa6592a418ecb53afa37aa186f38f.tar.bz2 otp-375e6da4a0daa6592a418ecb53afa37aa186f38f.zip |
Fix SSH CLI when using custom "shell" option
Also address compatibility issue with PuTTY
Diffstat (limited to 'make/cross_check_erl')
0 files changed, 0 insertions, 0 deletions