comparison .settings/org.eclipse.core.resources.prefs @ 242:03e3ebb1d52f

Disable the use of a proxy when updating feeds - https traffic does not seem to work currently over a proxy.
author Dirk Olmes <dirk@xanthippe.ping.de>
date Mon, 08 Jun 2015 19:20:46 +0200
parents 460a3062c5e6
children
comparison
equal deleted inserted replaced
241:e0e7459556bc 242:03e3ebb1d52f