diff options
| author | Rickard Green <[email protected]> | 2015-06-15 16:37:58 +0200 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2015-06-15 16:37:58 +0200 |
| commit | a309ead90430ad563d4e036aa8aeee023ddbe075 (patch) | |
| tree | a796d7f559a9255ef0390615992dd358dc8aa2cc /.gitignore | |
| parent | 0476714af7f673de941225ed0daee1447935f248 (diff) | |
| parent | bfd575ddf985408494d4d3d4933eda2c9ee18326 (diff) | |
| download | otp-a309ead90430ad563d4e036aa8aeee023ddbe075.tar.gz otp-a309ead90430ad563d4e036aa8aeee023ddbe075.tar.bz2 otp-a309ead90430ad563d4e036aa8aeee023ddbe075.zip | |
Merge branch 'rickard/+zebwt/OTP-12830'
* rickard/+zebwt/OTP-12830:
ETS busy wait option
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions