This repository was archived by the owner on May 3, 2022. It is now read-only.

Commits

History for

Commits on Apr 11, 2020

Remove deprecated URL API usage
JamieMagee
committed

Commits on Apr 10, 2020

apply formatting
bryanmacfarlane
committed

Commits on Jan 23, 2020

fix bugs related no_proxy and ports: 1) https://foo.com should match no_proxy=foo.com:443 and 2) https://foo.com:8080 should match no_proxy=foo.com
ericsciple
committed

Commits on Jan 10, 2020

code review
joshmgross
committed

Commits on Jan 9, 2020

initial commit
bryanmacfarlane
committed

Loading