diff options
author | Hans Bolinder <[email protected]> | 2018-05-08 10:10:53 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2018-05-08 10:10:53 +0200 |
commit | 80c5f0f27b84173b83aaf0ecfb8f839660b918a6 (patch) | |
tree | 666848a03b77c3c11353e8bc800d4650e7e0adf2 /OTP_VERSION | |
parent | e781967c7902b98e90a05a23a7e6888014709a96 (diff) | |
parent | 10255ef1ff2b0d63c52d68a3c32de94c3c01cc0e (diff) | |
download | otp-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 'OTP_VERSION')
0 files changed, 0 insertions, 0 deletions