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 /erts | |
| 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 'erts')
0 files changed, 0 insertions, 0 deletions