diff options
author | Zandra Hird <[email protected]> | 2015-02-11 15:16:21 +0100 |
---|---|---|
committer | Zandra Hird <[email protected]> | 2015-02-11 15:17:07 +0100 |
commit | 73996f6dabd8c90164da129ad5ac54293b3e4243 (patch) | |
tree | a52c37fbf0218c2fc7b28df62f0fca4dcdc13b3c /lib/tools | |
parent | fd06c6e2262d651e0e62c2ed56ab639e746f988f (diff) | |
parent | fefb2d78cb10606f83ad4010fee6a8be4d4191f2 (diff) | |
download | otp-73996f6dabd8c90164da129ad5ac54293b3e4243.tar.gz otp-73996f6dabd8c90164da129ad5ac54293b3e4243.tar.bz2 otp-73996f6dabd8c90164da129ad5ac54293b3e4243.zip |
Merge branch 'richcarl/dcd-dumps'
* richcarl/dcd-dumps:
Make Mnesia DCD dump behaviour available via API
Make Mnesia DCD dump behaviour available via configuration
OTP-12481
Diffstat (limited to 'lib/tools')
0 files changed, 0 insertions, 0 deletions