167                 [-T http_timeout] [-w http_proxy] [-W https_proxy]
549     cache_size, uri_pub_map, http_proxy, https_proxy):
603                     ("https_proxy", https_proxy)]:
644                     https_proxy=https_proxy)
798     cache_size=1024, http_timeout=3, http_proxy=None, https_proxy=None):
832                     https_proxy)
873         https_proxy = None
900                                 https_proxy = arg
914             http_proxy=http_proxy, https_proxy=https_proxy)

Indexes created Tue Jul 24 14:28:13 CEST 2018