Custom Query (2 matches)
| Ticket | Summary | Status | Type | Priority | Milestone | Component |
|---|---|---|---|---|---|---|
| #38 | Add automated testing framework | new | enhancement | critical | 1:pg-eclipse | |
| #64 | Decide what to do with ProverStandalone | new | task | minor | 1:pg-eclipse |
Note: See TracQuery
for help on using queries.
