aboutsummaryrefslogtreecommitdiffstats
path: root/erts
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2018-05-08 10:10:53 +0200
committerGitHub <[email protected]>2018-05-08 10:10:53 +0200
commit80c5f0f27b84173b83aaf0ecfb8f839660b918a6 (patch)
tree666848a03b77c3c11353e8bc800d4650e7e0adf2 /erts
parente781967c7902b98e90a05a23a7e6888014709a96 (diff)
parent10255ef1ff2b0d63c52d68a3c32de94c3c01cc0e (diff)
downloadotp-80c5f0f27b84173b83aaf0ecfb8f839660b918a6.tar.gz
otp-80c5f0f27b84173b83aaf0ecfb8f839660b918a6.tar.bz2
otp-80c5f0f27b84173b83aaf0ecfb8f839660b918a6.zip
Merge pull request #1801 from dtip/update-global-name-spec
Update global name typespec
Diffstat (limited to 'erts')
0 files changed, 0 insertions, 0 deletions