summaryrefslogtreecommitdiff
path: root/Remote/WebDAV.hs
diff options
context:
space:
mode:
authorGravatar Joey Hess <joeyh@joeyh.name>2014-12-16 14:04:40 -0400
committerGravatar Joey Hess <joeyh@joeyh.name>2014-12-16 14:04:40 -0400
commit95418cc430284b65af13105f7c63da08908dd826 (patch)
tree9afab6aad8025f454b12b038936f6322b6a82f1c /Remote/WebDAV.hs
parentbe93817b5bd80b051d5037e0641b63c16838b5fa (diff)
Use wget -q --show-progress for less verbose wget output, when built with wget 1.16.
Diffstat (limited to 'Remote/WebDAV.hs')
0 files changed, 0 insertions, 0 deletions