summaryrefslogtreecommitdiff
path: root/tests/wildify.urp
Commit message (Collapse)AuthorAge
* Fix bug in module path generation with module roots; push wildification ↵Gravatar Adam Chlipala2010-05-27
through substructures