summaryrefslogtreecommitdiff
path: root/tests/policy.urp
Commit message (Expand)AuthorAge
* Pushing policies throughGravatar Adam Chlipala2010-04-04