Clean.ModuleFinder: only find modules in the given directory/ies, not in their children
Previously, the function would return e.g. Platform/Deprecated/Generics/GenEq.dcl
when given the path Platform
, which is inconsistent with the behaviour of clm -I
/-IL
and cpm Paths
.