Proxy-Settings: Correctly unset proxy-setting when disabled
treec6da0a5d3a2df7ba24062959841df5bbbbae7149
-rw-r--r-- 628 .gitignore
-rw-r--r-- 543 .gitmodules
drwxr-xr-x - Languages
-rw-r--r-- 3425 build.txt
drwxr-xr-x - common
drwxr-xr-x - contrib
drwxr-xr-x - doc
drwxr-xr-x - ext
-rw-r--r-- 145 release.txt
drwxr-xr-x - src
drwxr-xr-x - test