diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-23 17:33:41 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-23 21:58:55 +0100 |
commit | e9957b2d5326b0bdce0e5ca314fde99e213f53d8 (patch) | |
tree | ff768289fdd61871c664efb825b483bf2677e2fc /.gitignore | |
parent | 86613b3222ebbe16464ce10b0a1a734ceb1eabba (diff) |
dgit: url_fetch: Honour new CurlOpts
No functional change with the existing callers.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions