org.eclipse.jdt.launching.prefs « .settings « org.eclipse.eef.core « plugins - org.eclipse.eef.git -

summary refs log tree commit diff stats

path: root/plugins/org.eclipse.eef.core/.settings/org.eclipse.jdt.launching.prefs

blob: 3bb235278eff17d185c9b1e009b1015be4087310 (plain) (blame)

1 2	`eclipse.preferences.version=1 org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=ignore`

Back to the top