summaryrefslogtreecommitdiff
path: root/tests/empties.urs
Commit message (Collapse)AuthorAge
* Whitelisting tags that may be self-closedGravatar Adam Chlipala2009-09-26