9 commits

Author	SHA1	Message	Date
Joey Hess	aa0882691b	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).	2012-01-02 14:20:20 -04:00
Joey Hess	8e2f74f7ab	update	2011-12-20 23:24:05 -04:00
Joey Hess	815d1318d7	comment	2011-12-20 23:24:05 -04:00
Joey Hess	23f2a12816	broke up Utility	2011-10-16 00:50:12 -04:00
Joey Hess	91366c896d	clean Annex stuff out of Utility/	2011-10-16 00:04:26 -04:00
Joey Hess	6e750764b7	The wget command will now be used in preference to curl, if available. ... Got tired of curl's various ugly progress bars.	2011-08-27 12:31:50 -04:00
Joey Hess	678726c10c	code simplification thanks to applicative functors	2011-08-25 01:27:19 -04:00
Joey Hess	203148363f	split groups of related functions out of Utility	2011-08-22 16:14:12 -04:00
Joey Hess	737b5d14c9	moved files around	2011-08-20 16:11:42 -04:00

Renamed from Remote/Helper/Url.hs (Browse further)