Custom Query (2 matches)
Ticket | Summary | Status | Owner | Type | Priority | Milestone |
---|---|---|---|---|---|---|
#51 | Add processing direction to 'active script' decorator | new | enhancement | minor | ||
#72 | Fix prover state indicator | new | defect | minor |
Note: See TracQuery
for help on using queries.