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