diff .settings/org.eclipse.core.resources.prefs @ 244:b46d7fe6390b

re-activate the use of proxy
author Dirk Olmes <dirk@xanthippe.ping.de>
date Tue, 09 Jun 2015 02:19:00 +0200
parents 460a3062c5e6
children
line wrap: on
line diff