diff options
author | Shea Levy <shea@shealevy.com> | 2018-02-28T23·44-0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-28T23·44-0500 |
commit | 4a000cbb39766812fccebfa7cf8b76ecca8f6e63 (patch) | |
tree | 58ad2f2372e542b716c879913d7daf6b37987ddb /doc/manual/command-ref/nix-env.xml | |
parent | 05cb8e5c5a954fa999ac5156cdf19148a05fdb2b (diff) | |
parent | e89d02bf031277bd81a8ce255f49d352763e5c71 (diff) |
Merge pull request #1927 from dtzWill/fix/fetchgit-HEAD
fetchGit: use "HEAD" as default ref instead of "master"
Diffstat (limited to 'doc/manual/command-ref/nix-env.xml')
0 files changed, 0 insertions, 0 deletions