Mercurial > hg > Feedworm
diff util.py @ 87:b8bfd1bd6c55
use a proxy if one is configured. TODO: GUI for configuring the proxy server
author | Dirk Olmes <dirk@xanthippe.ping.de> |
---|---|
date | Wed, 17 Nov 2010 21:22:31 +0100 |
parents | 254d5b89a6ca |
children | 04a730f9d07d |