summaryrefslogtreecommitdiff
path: root/tests/error.ur
Commit message (Collapse)AuthorAge
* For non-debug builds, leave out source location info in what is shown to userGravatar Adam Chlipala2011-07-03
|
* 'error' functionGravatar Adam Chlipala2008-09-07