diff options
author | Hans Bolinder <[email protected]> | 2014-06-17 16:29:24 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2014-06-17 16:29:24 +0200 |
commit | 9572b1c4615e9efc9a7ff53fafc9a32730ae45e4 (patch) | |
tree | 21bf2411cacb5513dc44632cc955134ee50b192c /make | |
parent | 584fb6f256f02d48b3c0be9a9462fe7df1b1acb4 (diff) | |
parent | 805f9c89fc01220bc1bb0f27e1b68fd4eca688ba (diff) | |
download | otp-9572b1c4615e9efc9a7ff53fafc9a32730ae45e4.tar.gz otp-9572b1c4615e9efc9a7ff53fafc9a32730ae45e4.tar.bz2 otp-9572b1c4615e9efc9a7ff53fafc9a32730ae45e4.zip |
Merge branch 'maint'
* maint:
[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 'make')
0 files changed, 0 insertions, 0 deletions