diff options
| author | Björn Gustavsson <[email protected]> | 2019-08-22 13:40:54 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-08-22 13:40:54 +0200 |
| commit | cabdfc991278d6322564ef7342e80b3dd3cdbc92 (patch) | |
| tree | 1f8e3b6e13563ae43dd047fda505320a24cc057d /.gitignore | |
| parent | d670fe64723ed348c8829a6528292cdc9d0ad5a1 (diff) | |
| parent | 07a323813a47f92abf05bdf2255dc1354e82c55c (diff) | |
| download | otp-cabdfc991278d6322564ef7342e80b3dd3cdbc92.tar.gz otp-cabdfc991278d6322564ef7342e80b3dd3cdbc92.tar.bz2 otp-cabdfc991278d6322564ef7342e80b3dd3cdbc92.zip | |
Merge pull request #2351 from bjorng/bjorn/erts/optimize-cp-management/OTP-15077
Optimize continuation pointer management
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions