diff options
| author | Björn Gustavsson <[email protected]> | 2016-11-18 15:47:55 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2016-11-18 15:47:55 +0100 |
| commit | 9491f6727f12e37241863bd5becbd1f336ff7659 (patch) | |
| tree | e8ab5081d52162d2337df12685d76760acc4d1d0 /lib/stdlib/doc/src/maps.xml | |
| parent | 81a1e29ba726d0ef24f5ac15808d69c5cbd1a875 (diff) | |
| parent | b93b7444230ebc358f8b0d64798e65f50a249e5a (diff) | |
| download | otp-9491f6727f12e37241863bd5becbd1f336ff7659.tar.gz otp-9491f6727f12e37241863bd5becbd1f336ff7659.tar.bz2 otp-9491f6727f12e37241863bd5becbd1f336ff7659.zip | |
Merge branch 'mm/stdlib/ord-docs/PR-1242'
* mm/stdlib/ord-docs/PR-1242:
Document the ordering used in ordsets and orddicts
Diffstat (limited to 'lib/stdlib/doc/src/maps.xml')
0 files changed, 0 insertions, 0 deletions