diff options
author | Ferenc Böröczki <[email protected]> | 2018-07-19 12:25:51 +0200 |
---|---|---|
committer | Ferenc Böröczki <[email protected]> | 2018-07-19 12:25:51 +0200 |
commit | daa1f7a9d704c6de451da6b4a637a0f9de0f5531 (patch) | |
tree | de11c50a65d0c5c27b6e269d320ae674482b967e /system | |
parent | 4152200018c836bd38a8f4c283042637af2696b5 (diff) | |
download | otp-daa1f7a9d704c6de451da6b4a637a0f9de0f5531.tar.gz otp-daa1f7a9d704c6de451da6b4a637a0f9de0f5531.tar.bz2 otp-daa1f7a9d704c6de451da6b4a637a0f9de0f5531.zip |
add more specific type spec for mnesia:change_config
Diffstat (limited to 'system')
0 files changed, 0 insertions, 0 deletions