diff options
| author | Mike McQuaid | 2017-09-12 15:48:11 +0100 |
|---|---|---|
| committer | GitHub | 2017-09-12 15:48:11 +0100 |
| commit | ef6068870472496f7b6c2766f2197e5c81d393b5 (patch) | |
| tree | c75d3217de0a5c995f007ededd78efa76c373bab /Library/Homebrew/dev-cmd/pull.rb | |
| parent | 66d5b06bbd33d75495233307030d07ff9e13f988 (diff) | |
| parent | 9562cceef15977306c9664f4f19892992a63e44a (diff) | |
| download | brew-ef6068870472496f7b6c2766f2197e5c81d393b5.tar.bz2 | |
Merge pull request #3126 from DomT4/curl_audit
audit: stop demanding a HTTP HEAD mirror for curl
Diffstat (limited to 'Library/Homebrew/dev-cmd/pull.rb')
0 files changed, 0 insertions, 0 deletions