
30 Aug
2007
30 Aug
'07
3:54 p.m.
Hi all, Does anyone know how to specify proxy server and port for darcs to use when it connects to servers? I am behind firewall most of the time and all requests have to go through a proxy. Thanks, Ed