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 /erts/doc/src/Makefile | |
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 'erts/doc/src/Makefile')
0 files changed, 0 insertions, 0 deletions