diff options
author | Dan Gudmundsson <[email protected]> | 2010-12-02 10:08:59 +0100 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2010-12-02 10:08:59 +0100 |
commit | f614916f28703dce2067408cb3f5e2850ce9cacb (patch) | |
tree | 0d1c32062e3b87a52cb5f47e6c553add521949ea /bin/.gitignore | |
parent | e7104d8028630d9308d40e5cd4580d503b62b64f (diff) | |
parent | 5615cca635bedfe78c6646cf0c35239c5dee6afb (diff) | |
download | otp-f614916f28703dce2067408cb3f5e2850ce9cacb.tar.gz otp-f614916f28703dce2067408cb3f5e2850ce9cacb.tar.bz2 otp-f614916f28703dce2067408cb3f5e2850ce9cacb.zip |
Merge branch 'dgud/mnesia/log_header_bug/OTP-8960' into dev
* dgud/mnesia/log_header_bug/OTP-8960:
Created wrong header in dcd files when creating files at startup.
Diffstat (limited to 'bin/.gitignore')
0 files changed, 0 insertions, 0 deletions