diff options
| author | Rickard Green <[email protected]> | 2016-07-20 15:48:27 +0200 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2016-07-20 15:48:27 +0200 |
| commit | 2c8a13e5d3aabeedeb290624d6acc02d25db1bd5 (patch) | |
| tree | 691f18cbf9b52874c55ba3be0485674cfd7f25a1 /configure.in | |
| parent | b490fb8664ec6e5ceaadc1c74350dc666f5406d2 (diff) | |
| download | otp-2c8a13e5d3aabeedeb290624d6acc02d25db1bd5.tar.gz otp-2c8a13e5d3aabeedeb290624d6acc02d25db1bd5.tar.bz2 otp-2c8a13e5d3aabeedeb290624d6acc02d25db1bd5.zip | |
Fix dirty schedulers build on windows
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions