Improvement #1960
Make dev repo search depth for modules configurable
Start date:
07.12.2016
Due date:
% Done:
100%
Estimated time:
origin:
Description
This is so that deeply nested component repos (for example due to gitcr roots use as in #1958) can be more conveniently used in a development workspace.
(to be downported to v 2.4)