diff options
| author | Björn Gustavsson <[email protected]> | 2019-03-04 09:47:47 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-03-04 09:47:47 +0100 |
| commit | f6b6441ed3fa4f539281b7baa0847d4f060aee66 (patch) | |
| tree | 783f46a6d1c16b33a3c9d8aa593d69ca82ff99cf /lib/stdlib | |
| parent | b826c2ab153032fba974293dbba33352e05e0304 (diff) | |
| parent | 1b706c511e9508c910296b255bdeb279e0957ff5 (diff) | |
| download | otp-f6b6441ed3fa4f539281b7baa0847d4f060aee66.tar.gz otp-f6b6441ed3fa4f539281b7baa0847d4f060aee66.tar.bz2 otp-f6b6441ed3fa4f539281b7baa0847d4f060aee66.zip | |
Merge pull request #2168 from josevalim/jv-v3_kernel-binary-all
Move size=all binary clause pruning to v3_kernel
Diffstat (limited to 'lib/stdlib')
0 files changed, 0 insertions, 0 deletions