diff options
author | Björn Gustavsson <[email protected]> | 2015-04-24 12:18:31 +0200 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2015-05-08 10:49:04 +0200 |
commit | 5c9cab4be276b09f9c119f5d678f896b8043f015 (patch) | |
tree | 81ede12bdbbf124e5a0ce53968483eb3a5076e26 /erts/emulator/drivers/common | |
parent | e95095457c4d83c02850b811fb28711c0b3d1c23 (diff) | |
download | otp-5c9cab4be276b09f9c119f5d678f896b8043f015.tar.gz otp-5c9cab4be276b09f9c119f5d678f896b8043f015.tar.bz2 otp-5c9cab4be276b09f9c119f5d678f896b8043f015.zip |
asn1_spec: Correct obsolete details about compiler options
There is now only one BER back-end, and there is no 'optimize'
option.
Diffstat (limited to 'erts/emulator/drivers/common')
0 files changed, 0 insertions, 0 deletions