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 /configure.in | |
| 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 'configure.in')
0 files changed, 0 insertions, 0 deletions