#764
  • Created on
    2011-02-21 08:01
  • Reported by
    jakobc
  • Worked hours
    4.0 hours
  • Total worked hours
    4.0 hours
  • Status
    Fixed
  • Priority
    Normal (3)
  • Assigned to
    jakobc
  • Milestone
    sprint #14 - 0.10.2
  • Plan Level
    -
  • Permission type
    Private
  • Estimate
    None/Small/Medium/Large None
  • Due Date
    -

Attachments

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.
User picture
  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.
User picture
  on 2011-02-21 13:11 *
By jakobc
Milestone changed from sprint #13 - 0.10.0 to sprint #14 - 0.10.2
Milestone changed from sprint #13 - 0.10.0 to sprint #14 - 0.10.2
User picture
  on 2011-02-22 09:00 *
By jakobc
Allow the default_plt_files-key to be a file containing the paths of the plt-files.
User picture
  on 2011-03-03 11:33 *
By Vlad Dumitrescu
Updating tickets (#156, #550, #554, #649, #650, #606, #631, #755, #782, #783, #714, #747, #753, #688, #712, #723, #730, #732, #733, #734, #735, #740, #756, #757, #758, #763, #764, #765, #777, #787, #792, #689)
User picture
  on 2011-03-22 08:50 *
By Vlad Dumitrescu
Status changed from Test to Fixed
Status changed from Test to Fixed
Updating tickets (#723, #730, #732, #733, #734, #735, #740, #753, #755, #756, #757, #764, #782, #787)