diff options
author | Lukas Larsson <[email protected]> | 2017-06-05 15:55:31 +0200 |
---|---|---|
committer | Lukas Larsson <[email protected]> | 2017-06-05 15:59:04 +0200 |
commit | 8c807c89fd93ac60137c72ce597759b697ac0ec7 (patch) | |
tree | b3a30976453a01a76d7042437ee0d5acbc30eeb7 /.gitignore | |
parent | 87bca557898bea79dbd53d59b21f6e7384e3a25d (diff) | |
download | otp-8c807c89fd93ac60137c72ce597759b697ac0ec7.tar.gz otp-8c807c89fd93ac60137c72ce597759b697ac0ec7.tar.bz2 otp-8c807c89fd93ac60137c72ce597759b697ac0ec7.zip |
erts: Fix so that 81b628 (sigterm=kill) works
OTP-14451
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions