Gitiles
Code Review Sign In
git.eclipse.org / graphiti / org.eclipse.graphiti / 12cfd2b32ab1daf34fdbf7271949c025553de9b2 / . / plugins / org.eclipse.graphiti.pattern / .settings / org.eclipse.jdt.launching.prefs
blob: 5e8d37653b4800d73ad159b692200e52a77fac5c [file] [log] [blame]
mwenz12cfd2b2011-10-28 12:29:10 +0200[diff] [blame^]1#Fri Oct 28 12:26:03 CEST 2011
2eclipse.preferences.version=1
3org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=ignore