diff options
author | Sverker Eriksson <[email protected]> | 2018-07-20 14:33:35 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2018-07-20 14:33:35 +0200 |
commit | 0874ef1548a3e556c303415cf2e0dc1169e056a4 (patch) | |
tree | 5eadaa608ccac1219f641859f029c239fe61b0f8 /lib/ssl/doc/src/ssl_introduction.xml | |
parent | f770e3cd1df9ee311476546cbaa57b6c36e09bf3 (diff) | |
parent | daa1f7a9d704c6de451da6b4a637a0f9de0f5531 (diff) | |
download | otp-0874ef1548a3e556c303415cf2e0dc1169e056a4.tar.gz otp-0874ef1548a3e556c303415cf2e0dc1169e056a4.tar.bz2 otp-0874ef1548a3e556c303415cf2e0dc1169e056a4.zip |
Merge PR-1881 from f3c0/mnesia-spec-fix OTP-15201
fix type spec of mnesia:change_config
Diffstat (limited to 'lib/ssl/doc/src/ssl_introduction.xml')
0 files changed, 0 insertions, 0 deletions