Mercurial > hg > Feedworm
diff .settings/org.eclipse.core.resources.prefs @ 133:9e1e6b96d8b0
implement proxyHost/proxyPort in Preferences
author | Dirk Olmes <dirk@xanthippe.ping.de> |
---|---|
date | Tue, 23 Aug 2011 03:44:08 +0200 |
parents | db35ab7753f0 |
children | 460a3062c5e6 |