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/etc/common/Makefile.in | |
| 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/etc/common/Makefile.in')
0 files changed, 0 insertions, 0 deletions