diff options
author | Sverker Eriksson <[email protected]> | 2019-02-22 13:33:47 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2019-02-22 13:33:47 +0100 |
commit | d49b77d0c250e0dfd183ec0f62664f4f60c2ffec (patch) | |
tree | 531da8b58ab0b8ecd2ebc427d3c1b6a8c943a56a /lib/ssh/info | |
parent | 1af28d672de91a12bea2c6332a14f040fbf4d63a (diff) | |
parent | edcec4c9166bfdfbd3131ee1472abcade8ccac15 (diff) | |
download | otp-d49b77d0c250e0dfd183ec0f62664f4f60c2ffec.tar.gz otp-d49b77d0c250e0dfd183ec0f62664f4f60c2ffec.tar.bz2 otp-d49b77d0c250e0dfd183ec0f62664f4f60c2ffec.zip |
Merge PR-2147 from sverker/sverker/enif-null-pid/OTP-15011
Add enif_set_pid_undefined & enif_is_pid_undefined
Diffstat (limited to 'lib/ssh/info')
0 files changed, 0 insertions, 0 deletions