-
Stephan Hilb authored
Previously hidden directories were also matched and stripped. This resulted in the build failing if the build dir contained one hidden directory (e.g. '/tmp/.abc/dune/...')
cf5aed4d
Previously hidden directories were also matched and stripped. This resulted in the build failing if the build dir contained one hidden directory (e.g. '/tmp/.abc/dune/...')