diff mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 4650:8e39bd349bbb

added Condition.implies(...)
author Lukas Stadler <lukas.stadler@jku.at>
date Mon, 20 Feb 2012 14:37:32 +0100
parents 04ebcabcba4f
children 44d92b447951
line wrap: on
line diff