diff options
| author | Rickard Green <[email protected]> | 2015-09-17 16:02:59 +0200 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2015-09-17 16:02:59 +0200 |
| commit | 3a33ee25ec2f9da0194a76649782154f41076cc9 (patch) | |
| tree | 7348ddb96596ed8bac0b9a0ae283bf7d15d0f41a /plt/.gitignore | |
| parent | 6c9f25aafc8682387f13f6a6ac505ffaeff476c0 (diff) | |
| parent | 11cf60809a26155c7904771974739f4a51911c93 (diff) | |
| download | otp-3a33ee25ec2f9da0194a76649782154f41076cc9.tar.gz otp-3a33ee25ec2f9da0194a76649782154f41076cc9.tar.bz2 otp-3a33ee25ec2f9da0194a76649782154f41076cc9.zip | |
Merge branch 'lukas/erts/ttsl_eintr/OTP-12987' into maint
* lukas/erts/ttsl_eintr/OTP-12987:
erts: Make sure to deal with EINTR write failures
Diffstat (limited to 'plt/.gitignore')
0 files changed, 0 insertions, 0 deletions