summaryrefslogtreecommitdiff
path: root/tests/sql_if.ur
Commit message (Expand)AuthorAge
* For new IF, fix Monoize typing and add to manualGravatar Adam Chlipala2011-10-15