diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-11-03T12·33+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-11-03T12·55+0100 |
| commit | 0e77aa398240d04e4169208d14ea620b8507b732 (patch) | |
| tree | d0b2d5fec349aac57e2cc182e1d14479a53c007c /shell.nix | |
| parent | 9ccea31dc26b38c676824e3f7f5471c0cb901e3b (diff) | |
fetchGit: Don't do a remote fetch if we already have the rev
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions