diff options
author | Rickard Green <[email protected]> | 2019-01-24 17:51:08 +0100 |
---|---|---|
committer | Rickard Green <[email protected]> | 2019-01-24 17:51:08 +0100 |
commit | 1ff44ec786828c3eeb2114cfeb5dd47e1a7fae61 (patch) | |
tree | d4bcae227e9aa7e56edfe84c4c58b253510b2773 /lib/kernel/Makefile | |
parent | a4aeacd28e4e31d3d79b091afcdc528082be2865 (diff) | |
parent | a4641c5b3469d2e3cb9b0937ed941748fbbf2036 (diff) | |
download | otp-1ff44ec786828c3eeb2114cfeb5dd47e1a7fae61.tar.gz otp-1ff44ec786828c3eeb2114cfeb5dd47e1a7fae61.tar.bz2 otp-1ff44ec786828c3eeb2114cfeb5dd47e1a7fae61.zip |
Merge branch 'rickard/ei-ext-maint/OTP-15442' into maint
* rickard/ei-ext-maint/OTP-15442:
Pluggable distribution socket implementation for EI
Diffstat (limited to 'lib/kernel/Makefile')
0 files changed, 0 insertions, 0 deletions