diff options
author | Dan Gudmundsson <[email protected]> | 2017-05-03 15:02:08 +0200 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2017-05-03 15:02:08 +0200 |
commit | 95e22b101b73087630fd58ae2487a91fcf004334 (patch) | |
tree | b8e4a8504dca074de410f93f93d6e58fb4cc4d8f /erts/doc | |
parent | 97b0d768edd96f527238403b1b4d2658b3506eed (diff) | |
parent | d15ff3f296f8b399c4c3750ca47683998bfbc808 (diff) | |
download | otp-95e22b101b73087630fd58ae2487a91fcf004334.tar.gz otp-95e22b101b73087630fd58ae2487a91fcf004334.tar.bz2 otp-95e22b101b73087630fd58ae2487a91fcf004334.zip |
Merge branch 'dgud/mnesia/snmp-sup'
* dgud/mnesia/snmp-sup:
mnesia: Remove not used mnesia_snmp_sup
Do not call which_applications()
Diffstat (limited to 'erts/doc')
0 files changed, 0 insertions, 0 deletions