diff options
| author | Hans Bolinder <[email protected]> | 2013-04-22 09:02:45 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2013-04-24 14:16:21 +0200 |
| commit | 0567be1e0ab0e133ea0aadb6fd33a1d8e976dc50 (patch) | |
| tree | 8683aefe51d954ef3595e27b72209858216d28a8 /lib/webtool/doc/src/book.xml | |
| parent | 1209686a614736ab091a5c036a14645610866ee5 (diff) | |
| download | otp-0567be1e0ab0e133ea0aadb6fd33a1d8e976dc50.tar.gz otp-0567be1e0ab0e133ea0aadb6fd33a1d8e976dc50.tar.bz2 otp-0567be1e0ab0e133ea0aadb6fd33a1d8e976dc50.zip | |
[dialyzer] Fix a bug concerning the --gui and --wx options
A bug that made it impossible to do any analyses from the GUI has been
fixed. The bug was introduced in dialyzer-2.5.2.
Diffstat (limited to 'lib/webtool/doc/src/book.xml')
0 files changed, 0 insertions, 0 deletions