comparison .settings/org.eclipse.core.resources.prefs @ 236:c5250fcc3881

remove a workaround along with its wrong explanation
author Dirk Olmes <dirk@xanthippe.ping.de>
date Mon, 26 Jan 2015 13:43:38 +0100
parents 460a3062c5e6
children
comparison
equal deleted inserted replaced
235:a34cb404cef3 236:c5250fcc3881