[erlang-patches] dialyzer: Add support for multiple PLTs

[Niclas Axelsson]

On 12/04/2010 12:22 AM, Maria Christaki wrote:
> The multiple-PLT patch was amended to include the updated documentation.
> However, it seems that I didn't make the amend on time and the patch was
> committed on the dev branch with the old documentation. For this reason, I
> have created another patch with dialyzer's new documentation:
>
>      git fetch git://github.com/mariachris/otp.git dialyzer_doc
>
> Thank you,
> Maria
>
> Kostis Sagonas<kostis@REDACTED>  said:
>
>    
>> A functionality addition to dialyzer that should be included in the
>> upcoming release:
>>
>>       git fetch git://github.com/mariachris/otp.git plts
>>
>> Kostis
>>
>> ________________________________________________________________
>> erlang-patches (at) erlang.org mailing list.
>> See http://www.erlang.org/faq.html
>> To unsubscribe; mailto:erlang-patches-unsubscribe@REDACTED
>>
>>
>>
>>      
>
>
>    
Thank you Maria. It's now included in 'dev'.

Regards,
Niclas Axelsson, Erlang/OTP