diff options
author | Björn Gustavsson <[email protected]> | 2017-01-11 11:55:40 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2017-01-11 11:55:40 +0100 |
commit | b2b0fbdf447e04f794d4682baac96a4143a005da (patch) | |
tree | dd7a119e7544b12854c68825a896e7237aef1619 /erts | |
parent | 56a1d1ccf742e9a6eaf86d38f37ad79731e1b019 (diff) | |
parent | 947169af61bdd67d34fabd47a56be04e8468120d (diff) | |
download | otp-b2b0fbdf447e04f794d4682baac96a4143a005da.tar.gz otp-b2b0fbdf447e04f794d4682baac96a4143a005da.tar.bz2 otp-b2b0fbdf447e04f794d4682baac96a4143a005da.zip |
Merge pull request #1301 from bjorng/bjorn/efficiency-guide
Remove obsolete information from the Efficiency Guide
Diffstat (limited to 'erts')
0 files changed, 0 insertions, 0 deletions