diff options
author | Hans Bolinder <[email protected]> | 2017-09-18 08:29:50 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2017-09-18 08:29:50 +0200 |
commit | 25ad8573ba9e0b225b48f35964afb2eb023ecca4 (patch) | |
tree | 975a29cd67b55d2d529ab2c57decb3f762626479 /lib/ssh/Makefile | |
parent | fe3db9d584a8b52a00323d8173d60d75fd6d0a43 (diff) | |
parent | c4aadfd7f88fa379355d6b5e86833066b859d3b2 (diff) | |
download | otp-25ad8573ba9e0b225b48f35964afb2eb023ecca4.tar.gz otp-25ad8573ba9e0b225b48f35964afb2eb023ecca4.tar.bz2 otp-25ad8573ba9e0b225b48f35964afb2eb023ecca4.zip |
Merge branch 'hasse/dialyzer/map_fixes/OTP-14572' into maint
* hasse/dialyzer/map_fixes/OTP-14572:
dialyzer: Adjust a test case
dialyzer: Modify handling of singleton map key types
Dialyzer: Rewrite one map type invariant
Dialyzer: Rewrite some of the docs of map types
Diffstat (limited to 'lib/ssh/Makefile')
0 files changed, 0 insertions, 0 deletions