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 /lib/mnesia/src/mnesia_checkpoint.erl | |
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 'lib/mnesia/src/mnesia_checkpoint.erl')
0 files changed, 0 insertions, 0 deletions