Added by Jorge Piera almost 15 years ago
adding the host.proxySet to the preferences.
View differences