Bugs Maximize Restore

Showing 4 results of 4

# Summary Milestone Status Owner Created Updated Priority
18 Labels GUI_bug open 2007-04-02 2007-04-02 5  
17 reachables states: java.lang.NullPointerException None open 2006-03-25 2006-03-25 5  
16 Problems with, pnml, jpeg, gif None open 2005-09-09 2005-09-09 5  
15 places to labels? Tool_bug open 2004-03-23 2004-03-23 5  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
  • Priority
 
(applies to this page only)