diff options
| author | Stavros Aronis <[email protected]> | 2012-09-21 10:09:26 +0200 |
|---|---|---|
| committer | Stavros Aronis <[email protected]> | 2012-09-26 11:04:00 +0200 |
| commit | f985ec421d2a9da3186445157f82185c7c4dea72 (patch) | |
| tree | 501b77a4535117c204554fe9c2c71851e055ecc5 /lib/webtool | |
| parent | ae36dda6c36ecee6888993f0f275d02e149e7484 (diff) | |
| download | otp-f985ec421d2a9da3186445157f82185c7c4dea72.tar.gz otp-f985ec421d2a9da3186445157f82185c7c4dea72.tar.bz2 otp-f985ec421d2a9da3186445157f82185c7c4dea72.zip | |
Respect {plt_check,false} option when using dialyzer:run/1
Diffstat (limited to 'lib/webtool')
0 files changed, 0 insertions, 0 deletions