diff src/swipl/build @ 65:cecf0cf46db3

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