diff options
| author | Björn Gustavsson <[email protected]> | 2019-03-04 09:46:41 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-03-04 09:46:41 +0100 |
| commit | 80a44304d2217079d623a7159a72cdc7366df239 (patch) | |
| tree | 42eef316a87361aa1212d564f7863de246bb2691 /otp_build | |
| parent | a94b54d45621dd4cb4b66983325493fc2878edc9 (diff) | |
| parent | 1ad2431ec156658184aee68c1a5d9826ba06f506 (diff) | |
| download | otp-80a44304d2217079d623a7159a72cdc7366df239.tar.gz otp-80a44304d2217079d623a7159a72cdc7366df239.tar.bz2 otp-80a44304d2217079d623a7159a72cdc7366df239.zip | |
Merge pull request #2165 from josevalim/jv-v3_kernel-faster
Optimize v3_kernel for thousands of clauses
Diffstat (limited to 'otp_build')
0 files changed, 0 insertions, 0 deletions