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