diff options
author | Hans Bolinder <[email protected]> | 2019-06-25 08:20:01 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2019-06-25 08:20:01 +0200 |
commit | 09abac433a59f0644316a54f61ade7132db673d1 (patch) | |
tree | 5b7e584757df0e447d35b6644adcefb82694e9c5 /lib/edoc/Makefile | |
parent | 5e361ced7f4466a08df2490e951d35c389cc584a (diff) | |
parent | d0a08a7b8a8d4dd8d825f5bc0d2ee9687c549516 (diff) | |
download | otp-09abac433a59f0644316a54f61ade7132db673d1.tar.gz otp-09abac433a59f0644316a54f61ade7132db673d1.tar.bz2 otp-09abac433a59f0644316a54f61ade7132db673d1.zip |
Merge branch 'kostis/doc/map-type-is-an-alias' into maint
* kostis/doc/map-type-is-an-alias:
The map() type is an alias; not a predefined type
Diffstat (limited to 'lib/edoc/Makefile')
0 files changed, 0 insertions, 0 deletions