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 /src/libstore/profiles.hh | |
| 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 'src/libstore/profiles.hh')
0 files changed, 0 insertions, 0 deletions