diff options
| author | Dan Gudmundsson <[email protected]> | 2014-02-21 09:15:25 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2014-02-21 09:15:25 +0100 |
| commit | 986611be9b5050969a58e8bdce864b0eb91133d5 (patch) | |
| tree | 574667f5164ed5f0f97cd9f1d9c7de58c9efdc7e /lib/tools | |
| parent | ee884bd7d33c206d03fa57202986d39b5cd45710 (diff) | |
| parent | 8d70f05df753a68453812d52b0814fb89f578e1b (diff) | |
| download | otp-986611be9b5050969a58e8bdce864b0eb91133d5.tar.gz otp-986611be9b5050969a58e8bdce864b0eb91133d5.tar.bz2 otp-986611be9b5050969a58e8bdce864b0eb91133d5.zip | |
Merge branch 'dgud/mnesia/add-sync-log/OTP-11729'
* dgud/mnesia/add-sync-log/OTP-11729:
mnesia: cleanup some dialyzer unmatched return warnings
mnesia: Shorten testcase names
mnesia: Improve mnesia coredump info
mnesia: Add explicit sync_log command
Diffstat (limited to 'lib/tools')
0 files changed, 0 insertions, 0 deletions