Custom Query (2 matches)
Ticket | Summary | Status | Keywords | Owner | Type | Priority |
---|---|---|---|---|---|---|
#480 | [match]es sometimes screw up indentation | new | indentation | defect | minor | |
#483 | ltac: and constr: should not affect indentation | new | indentation | defect | minor |
Note: See TracQuery
for help on using queries.