diff options
| author | Dan Gudmundsson <[email protected]> | 2011-05-12 10:11:04 +0200 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2011-05-12 10:11:04 +0200 |
| commit | 0bb1fa0f175f00b57f36070ab90a944b700da882 (patch) | |
| tree | 4d677a36dbedfcf084b9824dc0f09a373b8fb35b /lib/tools/src | |
| parent | f4a71c8cf2a98b80e309fa824bc8d6cfad869530 (diff) | |
| parent | afd3afeecb987de76bba24558a5c30b0ee4bdd2c (diff) | |
| download | otp-0bb1fa0f175f00b57f36070ab90a944b700da882.tar.gz otp-0bb1fa0f175f00b57f36070ab90a944b700da882.tar.bz2 otp-0bb1fa0f175f00b57f36070ab90a944b700da882.zip | |
Merge branch 'dgud/mnesia/startup-timing' into dev
* dgud/mnesia/startup-timing:
Use recover_nodes when deciding alive nodes
Diffstat (limited to 'lib/tools/src')
0 files changed, 0 insertions, 0 deletions