summaryrefslogtreecommitdiff
path: root/tests/cst.urp
Commit message (Expand)AuthorAge
* UNIQUE constraintsGravatar Adam Chlipala2009-04-07