Custom Query (1 match)
Ticket | Summary | Status | Owner | Type | Milestone | Priority |
---|---|---|---|---|---|---|
#364 | Unify proof-query-identifier and pg-identifier-near-point-query (cleanup) | accepted | task | PG-Emacs-4.3 | trivial |
Note: See TracQuery
for help on using queries.