diff options
| author | Micael Karlberg <[email protected]> | 2018-05-16 14:36:39 +0200 |
|---|---|---|
| committer | Micael Karlberg <[email protected]> | 2018-09-18 13:01:37 +0200 |
| commit | bbf415b274224e273a89a706ca5b0250a1523302 (patch) | |
| tree | 13a7c086fa6c425f38d125629a6f48a52cb5b4cc /scripts/pre-push | |
| parent | 83dd8317ea3534fb9353f0d5159a0b1cb485f38c (diff) | |
| download | otp-bbf415b274224e273a89a706ca5b0250a1523302.tar.gz otp-bbf415b274224e273a89a706ca5b0250a1523302.tar.bz2 otp-bbf415b274224e273a89a706ca5b0250a1523302.zip | |
[socket-nif] more setopt
Rewrote the setopt handling. Still not complete, but now
the structure is "complete". That is, there is atleast one
option handled for each level.
Diffstat (limited to 'scripts/pre-push')
0 files changed, 0 insertions, 0 deletions