summaryrefslogtreecommitdiff
path: root/demo
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-05-27 10:56:52 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-05-27 10:56:52 -0400
commitf2bb854da19b535ab4590eaccfb1696bcffb42e8 (patch)
tree83a6f06ddec6d2f92ee3a541e507361f755df13b /demo
parentdabc3df3ffbea51eb70f6947e431bcf568aa44f0 (diff)
Fix bug in module path generation with module roots; push wildification through substructures
Diffstat (limited to 'demo')
0 files changed, 0 insertions, 0 deletions