diff options
author | Joey Hess <joey@kitenet.net> | 2012-01-02 14:20:20 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2012-01-02 14:20:20 -0400 |
commit | aa0882691bb2aa64fb13f0df85be0469fd33d98d (patch) | |
tree | 365eff7f04e32c88d0c5fbe09fe206be3532aad9 /Logs/Web.hs | |
parent | 50ebfd265fca5271772ea35ed0aad834a8299298 (diff) |
Added remote.name.annex-web-options configuration setting, which can be used to provide parameters to whichever of wget or curl git-annex uses (depends on which is available, but most of their important options suitable for use here are the same).
Diffstat (limited to 'Logs/Web.hs')
0 files changed, 0 insertions, 0 deletions