summaryrefslogtreecommitdiff
path: root/tests/prefix.ur
Commit message (Expand)AuthorAge
* Flush elaboration cache when switching between .urp filesGravatar Adam Chlipala2012-06-23