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