diff options
author | Hans Nilsson <[email protected]> | 2018-04-25 16:03:50 +0200 |
---|---|---|
committer | Hans Nilsson <[email protected]> | 2018-04-25 16:03:50 +0200 |
commit | 511091f08c8ace2a2b964d7ff123e891ad4deeef (patch) | |
tree | f3d6eb31615b608fc174c6d6312938976b3445ac /lib/tools/Makefile | |
parent | 960467ead200635cb935dfd3aa5a5abe38299ca6 (diff) | |
parent | b9c0b5c15f71dc1384c8e6b98fb2fae1987b14b5 (diff) | |
download | otp-511091f08c8ace2a2b964d7ff123e891ad4deeef.tar.gz otp-511091f08c8ace2a2b964d7ff123e891ad4deeef.tar.bz2 otp-511091f08c8ace2a2b964d7ff123e891ad4deeef.zip |
Merge branch 'hans/ssh/type_changes/OTP-15002'
* hans/ssh/type_changes/OTP-15002:
ssh: Changes suggested by dialyzer
ssh: New -spec and -type
Diffstat (limited to 'lib/tools/Makefile')
0 files changed, 0 insertions, 0 deletions