diff options
author | Hans Bolinder <[email protected]> | 2017-11-15 16:39:33 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2017-11-15 16:39:33 +0100 |
commit | 8c7b86083be0f86f62918b73117121617624ec48 (patch) | |
tree | 17a678362f5fd50723d927e6a630d8102b825eec /plt | |
parent | 5d54bc33107d8a92bff35047d1b347d4c3b7434c (diff) | |
parent | dd53a1425f859d8558133fea141528c5c4476f0d (diff) | |
download | otp-8c7b86083be0f86f62918b73117121617624ec48.tar.gz otp-8c7b86083be0f86f62918b73117121617624ec48.tar.bz2 otp-8c7b86083be0f86f62918b73117121617624ec48.zip |
Merge branch 'hasse/edoc/fix_map_type/OTP-14777' into maint
* hasse/edoc/fix_map_type/OTP-14777:
edoc: The map type is denoted map()
Diffstat (limited to 'plt')
0 files changed, 0 insertions, 0 deletions