summaryrefslogtreecommitdiff
path: root/tests/prefix.ur
Commit message (Collapse)AuthorAge
* Flush elaboration cache when switching between .urp filesGravatar Adam Chlipala2012-06-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-05 07:09:24 +0000