diff options
author | Ulf Wiger <[email protected]> | 2015-11-05 15:09:12 +0100 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2016-05-09 14:54:36 +0200 |
commit | 3aff6476811a385cf45817d6974b83a6b0345a92 (patch) | |
tree | c9c80bcaa216d61b3ec05c71c75380542467de1f /lib/debugger | |
parent | 3d13b0177c2b858fe2ec970f4e14cd6e5c5433fe (diff) | |
download | otp-3aff6476811a385cf45817d6974b83a6b0345a92.tar.gz otp-3aff6476811a385cf45817d6974b83a6b0345a92.tar.bz2 otp-3aff6476811a385cf45817d6974b83a6b0345a92.zip |
mnesia_ext: Implement ext copies index
Make ram_copies index always use ordered_set
And use index type as prefered type not a implementation requirement,
the standard implmentation will currently ignore the prefered type.
Diffstat (limited to 'lib/debugger')
0 files changed, 0 insertions, 0 deletions