-
Christoph Grüninger authored
[dunecontrol] Check less often the version for module dependencies Similar to update, status, svn, git, exec, and bexec don't check whether the versions for dependencies are fulfilled. This could fix #9 See merge request !28 (cherry picked from commit 47255e4f ) Signed-off-by: Steffen Müthing <muething@dune-project.org>
d6211205