diff options
| author | Hans Bolinder <[email protected]> | 2016-02-08 08:26:01 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-02-08 08:26:01 +0100 |
| commit | 11c2df7d7adc404a1b3a4c8948b4890e0af2c760 (patch) | |
| tree | 9a6df8eb1a2261e69b19a98c5a6d47bfed674796 /lib/mnesia | |
| parent | e280686680fddb487f30c73d668091d68764f076 (diff) | |
| parent | 4884986bc945978177b02a7e81c50a5ea2f007fa (diff) | |
| download | otp-11c2df7d7adc404a1b3a4c8948b4890e0af2c760.tar.gz otp-11c2df7d7adc404a1b3a4c8948b4890e0af2c760.tar.bz2 otp-11c2df7d7adc404a1b3a4c8948b4890e0af2c760.zip | |
Merge branch 'hb/dialyzer/fix_plt_remove/OTP-13103' into maint
* hb/dialyzer/fix_plt_remove/OTP-13103:
dialyzer: Fix a bug concerning the option 'plt_remove'
Diffstat (limited to 'lib/mnesia')
0 files changed, 0 insertions, 0 deletions