-
Michael Pyne authored
Also don't ask about the proxy, it's a rare feature, instead just continue to add the http-proxy option if it's already set in the environment. Users with more unusual proxy setups will have to read the docs. :)
590f4625
Also don't ask about the proxy, it's a rare feature, instead just continue to add the http-proxy option if it's already set in the environment. Users with more unusual proxy setups will have to read the docs. :)