patch by Michael Hutchinson to use the environment variable http_proxy
[mono.git] / data / net_1_1 /
drwxr-xr-x   ..
-rw-r--r-- 57351 DefaultWsdlHelpGenerator.aspx
-rw-r--r-- 169 Makefile.am
-rw-r--r-- 16169 machine.config