sternenseemann 697b46aa96 fetchFromGitHub: also use git if deepClone or leaveDotGit is used ... leaveDotGit is only inherited if it is explicitly set, so fetchgit's default value for leaveDotGit ? deepClone is respected.		2020-12-21 13:20:04 +01:00
..
default.nix