diff options
| author | Hans Bolinder <[email protected]> | 2018-03-26 08:23:18 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2018-03-26 08:23:18 +0200 |
| commit | 0083a9451f5770a38bb21e78b7d574e5b72ba5f3 (patch) | |
| tree | 7da02f3c3b08c3efa12be2fad6d63990a1d580e5 /erts | |
| parent | 5c2acbd35150da5e6d3afba1f61bb8bb995bb80f (diff) | |
| parent | 3514876e3c3d774f46ccd4b0bf04bffdba3e2987 (diff) | |
| download | otp-0083a9451f5770a38bb21e78b7d574e5b72ba5f3.tar.gz otp-0083a9451f5770a38bb21e78b7d574e5b72ba5f3.tar.bz2 otp-0083a9451f5770a38bb21e78b7d574e5b72ba5f3.zip | |
Merge pull request #1703 from juhlig/master
[ERL-557] add is_empty/1 to sets and ordsets
OTP-14996, ERL-557, PR-1703
Diffstat (limited to 'erts')
0 files changed, 0 insertions, 0 deletions