diff options
author | Hans Bolinder <[email protected]> | 2017-11-14 14:15:14 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2017-11-14 14:15:14 +0100 |
commit | dd53a1425f859d8558133fea141528c5c4476f0d (patch) | |
tree | be9710015b53f8529c4e20d4025cdf06d6ee982b /configure.in | |
parent | 8c42d5dc4f85d540c53cf24c85de6372c89ec486 (diff) | |
download | otp-dd53a1425f859d8558133fea141528c5c4476f0d.tar.gz otp-dd53a1425f859d8558133fea141528c5c4476f0d.tar.bz2 otp-dd53a1425f859d8558133fea141528c5c4476f0d.zip |
edoc: The map type is denoted map()
The map type was erroneously displayed as "#{}", the empty map type.
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions