diff options
| author | Stavros Aronis <[email protected]> | 2012-03-20 12:07:42 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:22 +0200 |
| commit | 720b65deff021ddb17aaa125046f97ff13ade883 (patch) | |
| tree | 612318f9445bcbdf997de037b4c2d85553ff77e0 /lib/dialyzer/src/dialyzer_gui.erl | |
| parent | 4e1ed3a5666c13d442759e710d9d08280362c0bb (diff) | |
| download | otp-720b65deff021ddb17aaa125046f97ff13ade883.tar.gz otp-720b65deff021ddb17aaa125046f97ff13ade883.tar.bz2 otp-720b65deff021ddb17aaa125046f97ff13ade883.zip | |
Regulate all kinds of running workers up to the number of schedulers
Diffstat (limited to 'lib/dialyzer/src/dialyzer_gui.erl')
0 files changed, 0 insertions, 0 deletions