summaryrefslogtreecommitdiff
path: root/tests/dynList.urs
Commit message (Expand)AuthorAge
* Fix dynClass for non-<body> contextsGravatar Adam Chlipala2014-05-04