diff options
author | Sverker Eriksson <[email protected]> | 2018-06-28 18:09:52 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2018-06-28 18:09:52 +0200 |
commit | 605723f25fdb8c084fe2b6b4a52294946d82a6d0 (patch) | |
tree | 8a07f1c7fbe906b37e0afd0a48dd01aa23e6db2a /lib/erl_interface/priv | |
parent | 58e8c0d4d19532f26b592eb00154044a4a86629d (diff) | |
parent | b2ce42832189f964c7e868297f87573706232364 (diff) | |
download | otp-605723f25fdb8c084fe2b6b4a52294946d82a6d0.tar.gz otp-605723f25fdb8c084fe2b6b4a52294946d82a6d0.tar.bz2 otp-605723f25fdb8c084fe2b6b4a52294946d82a6d0.zip |
Merge PR-1844 from arcz/ets_count OTP-15163
Use erlang:system_info(ets_count) and improve docs
Diffstat (limited to 'lib/erl_interface/priv')
0 files changed, 0 insertions, 0 deletions