diff options
author | Adam Chlipala <adamc@hcoop.net> | 2010-05-27 10:56:52 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2010-05-27 10:56:52 -0400 |
commit | c3607e368bf1d79c5ebaae2e8f9d3dba599953a5 (patch) | |
tree | 83a6f06ddec6d2f92ee3a541e507361f755df13b /tests/empties.urs | |
parent | 2f00e5dc6efb08ae0e7d6540080aaa6a04135707 (diff) |
Fix bug in module path generation with module roots; push wildification through substructures
Diffstat (limited to 'tests/empties.urs')
0 files changed, 0 insertions, 0 deletions