diff options
| author | Björn Gustavsson <[email protected]> | 2017-09-01 10:52:14 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2017-09-01 10:52:14 +0200 |
| commit | fdf30c9a74871e45fc15004835f96cb1481fa5ca (patch) | |
| tree | f9a10a1857ca59a2c68f6cec6180a1c8234f0eff /configure.in | |
| parent | 2ddc4f3808e9139ca9826c04d0f2829d3bf50b84 (diff) | |
| parent | 8b8f013dbe159819136e71f0349620ff8fc45f74 (diff) | |
| download | otp-fdf30c9a74871e45fc15004835f96cb1481fa5ca.tar.gz otp-fdf30c9a74871e45fc15004835f96cb1481fa5ca.tar.bz2 otp-fdf30c9a74871e45fc15004835f96cb1481fa5ca.zip | |
Merge pull request #1550 from bjorng/bjorn/erts/unique-literals
De-duplicate bignums in the literal pool
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions