diff options
author | Sverker Eriksson <[email protected]> | 2017-04-03 16:56:29 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2017-04-03 16:56:29 +0200 |
commit | 0b3416203c37eba5354e284b9040799158567133 (patch) | |
tree | f0e617ec41c19a916760b60ad7786821935b31e5 /erts/configure.in | |
parent | 2f166031319ec414712a8a91372ba2bc348dae7a (diff) | |
parent | eb9fc2a4361037f06991d30f697f0e3ff6394117 (diff) | |
download | otp-0b3416203c37eba5354e284b9040799158567133.tar.gz otp-0b3416203c37eba5354e284b9040799158567133.tar.bz2 otp-0b3416203c37eba5354e284b9040799158567133.zip |
Merge PR-1076 from g-andrade/feature/ets_conditional_insert OTP-14319
ETS: Allow for conditional insertions
Diffstat (limited to 'erts/configure.in')
0 files changed, 0 insertions, 0 deletions