Custom Query (1 match)
Status: closed (1 match)
Ticket | Summary | Owner | Type | Priority | Resolution | Created |
---|---|---|---|---|---|---|
#486 | Disable long indention under quantifiers? | defect | minor | fixed | 11 years ago |
Note: See TracQuery
for help on using queries.
Ticket | Summary | Owner | Type | Priority | Resolution | Created |
---|---|---|---|---|---|---|
#486 | Disable long indention under quantifiers? | defect | minor | fixed | 11 years ago |