diff options
| author | tv <tv@krebsco.de> | 2017-06-30 04:27:02 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2017-06-30 04:27:02 +0200 |
| commit | 849d0ba98f03dc8700e6b9bb724b9afdbde68713 (patch) | |
| tree | 874dc96b8ed506d62d7ba7971eb87e3e89ad19a0 /lib/git.nix | |
| parent | b9c11e44e779769ca0a6b13eedee82782bc63927 (diff) | |
shell: using proxy implies populated target
Diffstat (limited to 'lib/git.nix')
0 files changed, 0 insertions, 0 deletions