diff src/swipl/http_openid.pl @ 65:cecf0cf46db3

Fixes to proxy handling.
author samer
date Tue, 09 Jun 2015 15:16:17 +0100
parents c7720fefea26
children
line wrap: on
line diff