037936b7a3
fetchFromGitHub: also use git if deepClone or leaveDotGit is used |
||
---|---|---|
.. | ||
builders | ||
contributing | ||
doc-support | ||
functions | ||
languages-frameworks | ||
old | ||
stdenv | ||
using | ||
.gitignore | ||
default.nix | ||
functions.xml | ||
Makefile | ||
manual.xml | ||
overrides.css | ||
preface.chapter.md | ||
release-notes.xml | ||
shell.nix | ||
style.css |