diff options
author | Hans Bolinder <[email protected]> | 2014-06-17 16:26:06 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2014-06-17 16:26:06 +0200 |
commit | 805f9c89fc01220bc1bb0f27e1b68fd4eca688ba (patch) | |
tree | f0245c6d3dbfc058318bb11fced75f4bac276c8b /lib/webtool | |
parent | e2961080386045f3e4ef59d9895b680ccdc4fbe4 (diff) | |
parent | 4b27326bcfa9733c5f0870a4c8476892bf8fac66 (diff) | |
download | otp-805f9c89fc01220bc1bb0f27e1b68fd4eca688ba.tar.gz otp-805f9c89fc01220bc1bb0f27e1b68fd4eca688ba.tar.bz2 otp-805f9c89fc01220bc1bb0f27e1b68fd4eca688ba.zip |
Merge branch 'hb/dialyzer/fix_recognition_of_records/OTP-11935' into maint
* hb/dialyzer/fix_recognition_of_records/OTP-11935:
[dialyzer] Correct a doc bug introduced in 0b041238
[dialyzer] Use the option 'dialyzer' to control the compiler
[dialyzer] Fix handling of literal records
Diffstat (limited to 'lib/webtool')
0 files changed, 0 insertions, 0 deletions