Custom Query (1 match)
Status: closed (1 match)
Ticket | Summary | Owner | Type | Priority | Resolution | Created |
---|---|---|---|---|---|---|
#17 | Generalize smt builder interface to be usable with different back-ends. | feature | major | fixed | 5 years ago |
Note: See TracQuery
for help on using queries.