Mercurial > hg > dml-home
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 |
author | samer |
---|---|
date | Tue, 09 Jun 2015 15:16:17 +0100 |
parents | 59f2caf60a37 |
children | 271cbb745f91 |