diff options
author | Hans Bolinder <[email protected]> | 2015-08-18 10:21:47 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2015-08-18 10:21:47 +0200 |
commit | b907f68075bdb5c6e95fd9503b761842b178486d (patch) | |
tree | 1f99692f18d59fb28bd4dbb3382bb48d43fb1413 /erts/etc/ose/run_erl.h | |
parent | 19ed951b890565445927c0343caab7cc17791086 (diff) | |
parent | 132b23a4511dd6f76366bd61eb52d1d11ef5ef35 (diff) | |
download | otp-b907f68075bdb5c6e95fd9503b761842b178486d.tar.gz otp-b907f68075bdb5c6e95fd9503b761842b178486d.tar.bz2 otp-b907f68075bdb5c6e95fd9503b761842b178486d.zip |
Merge branch 'maint'
* maint:
dialyzer: Use the recently added orddict:orddict/2 type
Diffstat (limited to 'erts/etc/ose/run_erl.h')
0 files changed, 0 insertions, 0 deletions