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 /make/unexpected_use | |
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 'make/unexpected_use')
0 files changed, 0 insertions, 0 deletions