If #CONFIGURATION_DEP isn't defined, we still want to get a default proxy
[mono.git] / po /
drwxr-xr-x   ..
-rw-r--r-- 23 .gitignore
-rw-r--r-- 13 Makefile.am
drwxr-xr-x - mcs