Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Added remote.name.annex-web-options configuration setting, which can be used ↵ | 2012-01-02 | |
| | | | | 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). | ||
* | update | 2011-12-20 | |
| | |||
* | comment | 2011-12-20 | |
| | |||
* | broke up Utility | 2011-10-16 | |
| | |||
* | clean Annex stuff out of Utility/ | 2011-10-16 | |
| | |||
* | The wget command will now be used in preference to curl, if available. | 2011-08-27 | |
| | | | | Got tired of curl's various ugly progress bars. | ||
* | code simplification thanks to applicative functors | 2011-08-25 | |
| | |||
* | split groups of related functions out of Utility | 2011-08-22 | |
| | |||
* | moved files around | 2011-08-20 | |