diff options
| author | Rickard Green <[email protected]> | 2019-01-24 17:52:31 +0100 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2019-01-24 17:52:31 +0100 |
| commit | 49eb25c80514b1e221cc516c423bbc45ba7cc107 (patch) | |
| tree | 0d013d9a82099019e47a20804caa4675ab0b7734 /.gitignore | |
| parent | 3d909edaadcc13d42698f815662188ff35eab90a (diff) | |
| parent | 1ff44ec786828c3eeb2114cfeb5dd47e1a7fae61 (diff) | |
| download | otp-49eb25c80514b1e221cc516c423bbc45ba7cc107.tar.gz otp-49eb25c80514b1e221cc516c423bbc45ba7cc107.tar.bz2 otp-49eb25c80514b1e221cc516c423bbc45ba7cc107.zip | |
Merge branch 'maint'
* maint:
Pluggable distribution socket implementation for EI
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions