summaryrefslogtreecommitdiff
path: root/tests/thog.urs
Commit message (Collapse)AuthorAge
* -limit for running timeGravatar Adam Chlipala2010-10-14