diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-07-27T15·02+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-07-27T15·02+0200 |
| commit | 69deca194ec789fa63d222bbd6549dab73328022 (patch) | |
| tree | fc1a006f100264ef1c04ef255e2e6e2847695162 /scripts | |
| parent | 6d7de7f3ded6254ea3a284b2c9b6a51fc8b041bb (diff) | |
builtins.fetchgit: Use proper refs locally
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions