dialyzer - add a way to specify plt files from the outside
There should be a way to specify the paths to the generated plt files, it's too awkward for the developer/user to browse for them in the file system each time.
Leave a comment
on 2011-02-21 08:51 *
By jakobc
Description changed from There should be a way to sp... to There should be a way to sp...
Status changed from Accepted to Test
Description changed from There should be a way to sp... to There should be a way to sp...
Status changed from Accepted to Test
Using plugin_customization, org.erlide.ui, default_plt_files.