summaryrefslogtreecommitdiff
path: root/tests/sigInModule.ur
Commit message (Collapse)AuthorAge
* Fix normalization of signatures that project signatures from other modules ↵Gravatar Adam Chlipala2017-03-31
with multi-element paths (fixes #72)