summaryrefslogtreecommitdiff
path: root/src/pathcheck.sig
Commit message (Collapse)AuthorAge
* Proper generation of relation names; checking that sequences existGravatar Adam Chlipala2008-10-19