diff src/swipl/upgrade_swipl @ 65:cecf0cf46db3

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