diff options
| author | Dan Gudmundsson <[email protected]> | 2013-08-29 10:27:01 +0200 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2013-08-29 10:27:01 +0200 |
| commit | 62fd1f53269d988ce4b978dbe49857e4d20509cf (patch) | |
| tree | f2f0ea593f291d374d5f75446188589706c9a239 /lib/snmp/.gitignore | |
| parent | 6fc94ba0b93488e46429dd4e71d11ebfe3b62792 (diff) | |
| parent | e92f5a220ec9d5a72ba3e65ff7715f9167e5b9b1 (diff) | |
| download | otp-62fd1f53269d988ce4b978dbe49857e4d20509cf.tar.gz otp-62fd1f53269d988ce4b978dbe49857e4d20509cf.tar.bz2 otp-62fd1f53269d988ce4b978dbe49857e4d20509cf.zip | |
Merge branch 'dgud/mnesia/checkpoint-init/OTP-10957' into maint
* dgud/mnesia/checkpoint-init/OTP-10957:
mnesia: Checkpoint fix
mnesia: Improve checkpoint activation
mnesia: Improve checkpoint tests
mnesia: Cleanup and remove obsolete code
Diffstat (limited to 'lib/snmp/.gitignore')
0 files changed, 0 insertions, 0 deletions